Approximate real numbers by rationals
Does sage have routines to approximate real numbers by fractions:
For example, suppose 13.000000000000000000001 is an approximation of a complicated expression involving $pi, e$ and other transcendental constants. Then it "is probably" a rational number. Can sage tell me what rational number it "probably" is.