using int64 = int64_t;
  using nat64 = uint64_t;

There are no unsigned integers. Naturals, folks, naturals have no sign.

Or, if you must, the positive integers:

  using pos64 = uint64_t;