Type Definition typenum::P416

type P416 = PInt<U416>;