Better comment would be "Coerce to float"or similar (obviously this is float division).