Yeah, keep the others, replace BigInt, and remove the specialized annotation form NumericRing.