(Xronos) Adding a transformation that transforms an integer division
with a constant denominator to a single multiplication with a constant
value.