Type Definition typenum::P666

type P666 = PInt<U666>;