int
The number this interface represents.
Returns the Nat instance for 0.
Returns the Nat instance for 1.
Returns the Nat instance for 10.
Returns the Nat instance for 11.
Returns the Nat instance for 12.
Returns the Nat instance for 13.
Returns the Nat instance for 14.
Returns the Nat instance for 15.
Returns the Nat instance for 16.
Returns the Nat instance for 17.
Returns the Nat instance for 18.
Returns the Nat instance for 19.
Returns the Nat instance for 2.
Returns the Nat instance for 20.
Returns the Nat instance for 3.
Returns the Nat instance for 4.
Returns the Nat instance for 5.
Returns the Nat instance for 6.
Returns the Nat instance for 7.
Returns the Nat instance for 8.
Returns the Nat instance for 9.