B | |
| big_int [Big_int_Z] | |
K | |
| kind [Q] |
Rationals can be categorized into different kinds, depending mainly on
whether the numerator and/or denominator is null.
|
T | |
| t [Q] |
A rational is represented as a pair numerator/denominator, reduced to
have a non-negative denominator and no common factor.
|
| t [Z] |
Type of integers of arbitrary length.
|