add proper precision to ext repr of real numbers