Fix conversions between Float/Double and simple-integer
drwxr-xr-x - libraries