Add approx_rational for rational approximations of Computables#11

TimTheBig wants to merge 4 commits into

timschmidt:maintimschmidt/hyperreal:mainfrom

TimTheBig:approx_rationalTimTheBig/hyperreal:approx_rationalCopy head branch name to clipboard