Oxygene: / and div operators

Yes. Just gave summary though. As for the actual rounding, it rounds towards zero. We will look into fixing the docs of course.