Type Definition typenum::consts::N723

type N723 = NInt<U723>;