It supports for example arithmetic operations, comparisons, and exponentiation. Before assigning a bigrational to a bigint it is often useful to check whether precision is lost, i.e. if the denominator is not equal to one.
Assignments Let a be of type bigrational .
To avoid copying all operators also exist as functions. Let a be of type bigrational . In this case root is a square root of a . Otherwise it returns false but the value of root may be changed. In this case root is a cubic root of a .