Type Definition typenum::N70368744177664

type N70368744177664 = NInt<U70368744177664>;