Type Definition typenum::consts::N547

type N547 = NInt<U547>;