A Fast Computation of the Best k -Digit Rational Approximation to a Real Number