Another specs fix related to float conversions