float_int_div():  For clarity, move this closer to the other float
division functions, and rename to float_floor_div.
1 file changed