It supports basic arithmetic operations, shift operations, comparisons, the square root function, the exponential function, and the logarithmical function. In contrast to the class , page , it allows the specification of error bounds for most of the functions. The number m is called the mantissa and e is called the exponent . For the description of the functions, we introduce the notation of absolute and relative approximations. In the following description of functions, assignment, comparision, and arithmetic are always meant as operations on rational numbers without any errors, e.g., due to rounding.
Assignments Let a be of type xbigfloat .
Swaps a and b . Access Functions Let a be of type xbigfloat . The following operators are overloaded. The result of these operations is an xbigfloat that represents the rational number which is the result of the operation carried out over the rationals without any rounding error. Shift Operations Let a be of type xbigfloat .