Type Definition typenum::consts::N64

type N64 = NInt<U64>;