approxRational, applied to two real fractional numbers x and epsilon,
returns the simplest rational number within epsilon of x.
A rational number y is said to be simpler than another y' if
denominator y <= denominator y'.
Any real interval contains a unique simplest rational;
in particular, note that 0/1 is the simplest rational of all.