Careful translation of rational, infinite, scientific etc. reals