Type Definition typenum::P548

type P548 = PInt<U548>;