Type Definition typenum::N64

type N64 = NInt<U64>;