Fix conversions between Float/Double and simple-integer