NodeMcu 20150317 is out

Just 16 hours ago, what appears to be a dev-version of nodemcu has been released.
Again for me it was a bit hard to find, so here is the link:

https://github.com/nodemcu/nodemcu-firmware/releases/tag/dev_json_20150317

The filesize of the bin files has gone up again, but there is now also an integer binary that saves the memory otherwise needed for float operations.

With the integer binary this obviously results in an error:

 > print (0.5 + 0.5)  
 stdin:1: malformed number near '0.5'  

While that works:

 > print (5 + 5)  
 10  
 >   

Unfortunately my LUA-DNS server doesn't run on any of these two either.



Edit:
Although the filename implies it is version 20150317, it comes up as 20150315:

 node.restart()  
 >  ü!   ¤§1ä)]ô   
 æÇ!åü1¤ñá  
 NodeMCU 0.9.5 build 20150315 powered by Lua 5.1.4  
 lua: cannot open init.lua  
 >