Type coercion (and operator overloading) semantics differ widely in Java and JavaScript.
This pass fixes the following mismatches:
- the binary concat operator (+) due to very loose semantics in JavaScript
- integer division, due to integers beign represented as floats in JavaScript