fixed mod_integer bug