Comment 2 for bug 1843108

This only helps if the floor's derive-type is reached when all the arguments are known. But after it transforms into the same code as MOD, it will produce the same problem.

> Why is the current MOD transformed in this way, however?
It's less work for the compiler.

But I'll apply the patch, because I don't want to write a derive-type for MOD.