Fixes default AVM2 numbers.js settings