let
sub = sub_big_int