o/

\o

\o

So I was looking at GHC.Real and noticed that the definition of reduce uses quot for integer division where I would have expected div. AFAICT, the only difference is that quot truncates while div rounds down; but in this case, a number is being divided by one of its factors, so the rounding shouldn't matter. Is there any other reason to pick quot rather than div, or was it arbitrary?

Truncation should be faster in principle right?

I guess not, maybe it's a better safe than sorry example.

Hmm. If I'm looking at the right thing, it seems like div is implemented in terms of quot. So I think you're probably onto something.

I'm experimenting with rational numbers that support (positive and negative) infinity and NaN: Try it online! Good, or cursed?

Hm, one problem is that non-finite rationals still don't support arithmetic operations. Probably a different approach is needed.