quot, div, mod and rem should have examples

[tomjaguarpaw]

quot, div, mod and rem should have examples showing truncation direction and positivity/negativity.

https://www.stackage.org/haddock/lts-18.23/base-4.14.3.0/Prelude.html#v:quot

[Jaro]

Is it technically required for an instance to define what it means to truncate? I can imagine that the polymorphism makes documentation hard. But I guess it should be fine to just show an example with a specific instance.