Type Definition typenum::P576460752303423488

type P576460752303423488 = PInt<U576460752303423488>;