Espruino 32 bit int switch

Hi,

I've just committed some code that swaps Espruino's internal number representation to 32 bit ints - it makes Espruino behave more like standard JavaScript, as well as managing to speed it up a bit and reduce flash usage. Hopefully eventually it'll help to make Espruino even more memory efficient too.

This is quite a big change, so before I roll out 1v65 with it in it'd be great if some of you could help to test it... There are a few other tweaks and fixes too:

http://www.espruino.com/binaries/git/commits/fa0350695317506ea36b312bdb6db1d23aefb093 ... and the ChangeLog

To use it, click on the link above, then right-click on the file called espruino_1v65_espruino_1r3.bin and click Copy link address. Open the Web IDE, click Settings, then Flasher, then paste the link into the text box and click Advanced Flash Firmware.

Thanks!