Type Definition typenum::P663

type P663 = PInt<U663>;