Type Definition typenum::consts::N400

type N400 = NInt<U400>;