let
abs = abs_big_int