class Contracts::Builtin::Pos

Check that an argument is a positive number.