Type Definition typenum::P40

type P40 = PInt<U40>;