Type Definition typenum::P483

type P483 = PInt<U483>;