[][src]Type Definition typenum::N400

type N400 = NInt<U400>;