Type Definition typenum::P137438953472

type P137438953472 = PInt<U137438953472>;