Clipperjs released a version of the library that uses floating points instead of integers. It would be usefull to update this library to use floats. https://sourceforge.net/projects/jsclipper/files/