minor changes in the library with floating-point numbers

Revision graph

The revision graph only works with JavaScript-enabled browsers.