Type Definition typenum::consts::N525

type N525 = NInt<U525>;