Type Definition typenum::P738

type P738 = PInt<U738>;