Converts any real to a rational. Floats are converted to a simple rational representation exploiting the assumption that floats are only accurate to their precision. rationalize, and also rational, preserve the invariant: (= x (float (rationalize x) x))