Extended natural numbers (source code)

= Extended natural numbers
{wiki=Extended_natural_numbers}