Type Definition typenum::consts::P723

type P723 = PInt<U723>;