Expand description
A number of the exact tower as base holds one itself: the coefficient of an expansion of a value of
several infinitesimals whose coefficients are not all exact — exp(dt + dx), whose coefficients in
dx are the germ of e^dt — and the value the flows of such expansions start from.
Every operation is the tower’s own (crate::tower), with integers and rationals below it, so a
coefficient computes, compares, refuses and prints exactly as a program’s value of the same kind.
Enums§
- Number
- A number of the exact tower. See the module documentation.