let
rem = mod_big_int