Type Definition typenum::P545

type P545 = PInt<U545>;