Feedback on the documentation

[Michael]

I can’t see that it says anywhere whether the integer function (div) rounds up or down in case the result involves a fraction. That could be good to add :)