I don't think we should explain the history of these lines in comments, we have version control for that. Saying that `ffloor()` is needed for floating point issues should be enough.