[][src]Type Definition typenum::N999

type N999 = NInt<U999>;