Type Definition typenum::P675

type P675 = PInt<U675>;