Type Definition typenum::consts::P547

type P547 = PInt<U547>;