Type Definition typenum::P487

type P487 = PInt<U487>;