method
abs base =
string_of_sv (call_method sv
"abs"
[sv_of_string base])