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