[][src]Type Definition typenum::N527

type N527 = NInt<U527>;