| Remainder r←x|y

r is the result of the scalar application of the remainder function, y m o d x y \mod x . If x is 0, r is y, otherwise r is y-x×⌊y÷x.