updated the minified version of JVFloat.js