Type Definition typenum::consts::N425

type N425 = NInt<U425>;