bigfloat1 http://www.openmath.org/cd/bigfloat1.ocd 2003-04-01 2001-03-12 2 0 official relation1 arith1 rounding1 transc1 This CD provides a common representation of "bigfloats" in a mantissa/ radix/exponent format. There is a further version, which provides an opportunity to state a precision (only required in a different radix). No operations are defined here -- see arith and alg. Written by James Davenport on 1999-07-13. bigfloatprec added 1999-07-21. bigfloat The bigfloat constructor takes three arguments, a mantissa, a base and the exponent. bigfloat(m,r,e)=m*r^e bigfloatprec The bigfloat "with precision specified in (another) radix" constructor. Takes 3 arguments, the first argument is a floating point number constructed with the bigfloat constructor, the second is the new radix, whilst the third specifies how many digits are significant. bigfloatprec(f,r,p)=f However, if converted to radix r, only p digits in that radix are significant. This usually means that it originated in radix r, and has since (e.g. for display purposes) been converted into its current radix. For exposition, f = m*r^e.