Numbers are held internally to cadiz as rationals, involving a numerator and denominator each of which can be of arbitrary size. The lexis permits use of floating point with signed exponent notation. The prettyprinter always generates rational notation. For example, 2.5E-1 can be written, but it will appear as 1/4. A number toolkit providing a definition of _ / _ must be in scope for this notation to be used.