I haven't touched them. quotient+remainder may have been fixed as part of div-and-mod. This may be open because it returns incorrect values, does not check its own arguments, or something else I don't remember.
I haven't touched them. quotient+remainder may have been fixed as part of div-and-mod. This may be open because it returns incorrect values, does not check its own arguments, or something else I don't remember.