Type Definition typenum::consts::P456

type P456 = PInt<U456>;