uadd_mod and mul_mod