Computing with finite-precision numbers

Under construction...