Type Definition typenum::consts::P808

type P808 = PInt<U808>;