Type Definition typenum::P425

type P425 = PInt<U425>;