3 ms·

Naturals have no 64-bit limit.

• Nevermark 3mo ago
  You understood the notation. So "nat64" cleared up two notation deficiencies: correct base type, and explicit declaration of modularity. A plain natural (unbounded/big) would be "nat" or "natural".