Type Definition typenum::P516

type P516 = PInt<U516>;