Get rid of unnecessary float64 casts