÷ Divide r←x÷y

r is the result of the scalar application of the division function, x y \frac x y . Fails if y is 0, unless x is also 0 in which case the result is 1.