[][src]Type Definition typenum::N525

type N525 = NInt<U525>;