let rem = mod_big_int