fixed #124 float optimization now uses only 4 decimal places