Type Definition typenum::P808

type P808 = PInt<U808>;