Natural Numbers
Unbounded non-negative integers - the default numeric type for safe arithmetic in Sector9.
Integers
Unbounded signed integers - the type for arithmetic that may involve negative values.
Fixed-Width Numbers
Nat8-Nat64 and Int8-Int64 for when you need specific bit widths and bounded arithmetic.
Floating Point
IEEE 754 double-precision floating point with Float. Use sparingly in verified code because the verifier treats Float as an uninterpreted type.
Text and Characters
Unicode text handling with Text and individual Char values.
Binary Data
Blob for raw bytes and Principal for IC identity. Both are opaque in verification, with equality, ordering comparisons, selected core library contracts, and explicit user contracts as the practical proof surface.