add float.js