_ _ _ _ _
/\ \ /\ \ /\ \ /\_\ / /\
\_\ \ / \ \\ \ \ / / / / / \
/\__ \ / /\ \ \\ \ \_/ / / / / /\ \__
/ /_ \ \ / / /\ \ \\ \___/ / / / /\ \___\
/ / /\ \ \ / / / \ \_\\ \ \_/ \ \ \ \/___/
/ / / \/_// / / / / / \ \ \ \ \ \
/ / / / / / / / / \ \ \ _ \ \ \
/ / / / / /___/ / / \ \ \ /_/\__/ / /
/_/ / / / /____\/ / \ \_\\ \/___/ /
\_\/ \/_________/ \/_/ \_____\/
This library 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).