ARM cost model: Make some vector integer to float casts cheaper