giunto_int_mod