Extend interval arithmetic to quot and rem operations

[Mikolaj]

This is the following TODO in the code

horde-ad/src/HordeAd/Core/AstTools.hs

Lines 327 to 328 in 3b37bc7

	-- An approximation: lower and upper bound.
	-- TODO: extend, e.g., to general quot and rem.

Currently quot and rem is handled in a very crude way and handling of other operations can possibly be improved as well or other operations added, so the task is somewhat open-ended. There is literature on interval arithmetic for quot and rem, but it gets quite complex and possibly expensive or undefined at places, so this requires a careful analysis.