f32
All of these were review comments in #74621 that I first fixed in that PR, but later accidentally overwrote by a force push.