toRRR -- convert to high-precision real

Synopsis

Usage:
toRRR x
Inputs:
- x, a real number, an integer, or a rational number
Outputs:
- a big real number, the result of converting x to a high-precision real number, at the current precision

Description

i1 : setPrecision 200

o1 = 100

i2 : toRRR(1/7)

o2 = .142857142857142857142857142857142857142857142857142857142857142857143*
     ------------------------------------------------------------------------
     10^0

o2 : RRR

i3 : precision oo

o3 = 224

Caveat

this routine is provisional, and may be replaced