ARM cost model: Correct cost for some cheap float to integer conversions