How should the DivisionRiastradh handle exactness?

- Not exactness preserving
- Exactness preserving unless the implementation can prove that an inexact argument can't affect the result (as in the case of an exact zero dividend and an inexact divisor)
- Exactness preserving in all cases

resolution␣␣

statusnewdecided

owneralexshinncowan

statusdecidedwriting

resolution␣fixed

statuswritingclosed

We voted exactness preserving unless the implementation can prove that an inexact argument can't affect the result (as in the case of an exact zero dividend and an inexact divisor).