mod_int_signed = add