Could using `%` on ApInts be implemented? For example ```rust s = a % b; ``` currently fails with this error: ``` cannot mod `ApInt` by `ApInt` ```