Type Definition typenum::N754

type N754 = NInt<U754>;