Type Definition typenum::consts::N423

type N423 = NInt<U423>;