[][src]Type Definition typenum::N547

type N547 = NInt<U547>;