// Force it to be a jsDoubleNumber instead of a jsNumber
process.exit(0.0 + eval("1.1 - 1.1"));