class Contracts::Builtin::Nat

Check that an argument is a natural number (includes zero).