Yep, for HTML5, and it indeed is saved as a cookie. Thanks for your help.
@dean Yep, that worked. It claims that decimals is default to 0, but it definitely is not. Thanks!
Looks like your connection to HaxeFlixel was lost, please wait while we try to reconnect.