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

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator