Type Definition typenum::P485

type P485 = PInt<U485>;