Type Definition typenum::N723

type N723 = NInt<U723>;