Fix a bug in (the new function) SimplUtils.abstractFloats