[][src]Type Definition typenum::N439

type N439 = NInt<U439>;