We used `(float)` here before. I am not sure if this matters. Just an observation as this diff is hard to read because it shifts many lines around.