Type Definition typenum::P288230376151711744

type P288230376151711744 = PInt<U288230376151711744>;