This one looks wrong to me.
On 25/04/2014, at 5:15 AM, Rustom Mody wrote:
> x ÷ y = divMod x y
In common usage, ÷ indicates plain old division,
e.g., 3÷2 = 1½.
See for example http://en.wikipedia.org/wiki/Table_of_mathematical_symbols
One possibility would be
> x ÷ y = x / y :: Rational