Remove float.js.

Closes #24.