Re: [GHC] #9125: int-to-float conversion broken on ARM (was: int-to-float conversion broken on ARM - 7.8.1-rc2)