Type Definition typenum::consts::N673

type N673 = NInt<U673>;