index Zimbu documentation

MODULE NAT @public

summary

     

Methods for the builtin nat type.

CLASS  nat @public  The builtin type nat: 64 bit natural number.
 
nat  max @public  Maximum value of a nat.
nat  min @public  Minimum value of a nat.
 

members (alphabetically)

     

nat max @public

     

Maximum value of a nat.

Used as T.nat.max

Javascript note: As Javascript uses a float to store the number it will be rounded off from 18446744073709551615 to 18446744073709552000. The largest number that is not rounded off is 2^53, or 9007199254740992.

nat min @public

     

Minimum value of a nat.

Used as T.nat.min

license

      Copyright 2014 Bram Moolenaar All Rights Reserved.

      Licensed under the Apache License, Version 2.0. See the LICENSE file or obtain a copy at: http://www.apache.org/licenses/LICENSE-2.0