Optimize (x/C)*C to x if the division is exact.