Methods for the builtin nat32 type.
int max @public
Maximum value of a nat32.
Used as T.nat32.max
int min @public
Minimum value of a nat32.
Used as T.nat32.min