let abs = abs_big_int