implement int32mod_dif