Type Definition typenum::consts::N672

type N672 = NInt<U672>;