Type Definition typenum::P408

type P408 = PInt<U408>;