[BUG #7604] make division truediv, to retain JS semantics in constant folding