Provides a class for non-negative numbers, a wrapper which can turn any ordered numeric type into a
member of that class, and a lazy number type for non-negative numbers (a generalization of Peano
numbers). This library is used by the event-list package
These details are provided for information only. No information here is legal advice and should not be used as such.