Type Definition typenum::consts::N724

type N724 = NInt<U724>;