why do we need floating point division here? integer division should work, no?