[][src]Type Definition typenum::N487

type N487 = NInt<U487>;