No. The reminder a % b is defined in terms of a / b. Thus, if a / b is undefined (because it overflows), then the reminder is also undefined