sql: integer division should return an integer

[madelynnblue]

Fixes #3271

[tamird]

this is exactly why we originally decided against integer division. I'm 👎 on this change.

[petermattis]

I'm more on the fence. I think the current behavior is understandable. And I think having integer division result in an integer is also expected given the behavior of other programming languages.

[bdarnell]

I prefer int / int -> float. Truncating the results of division to an integer is understandable only because we're used to it from (some) other languages; it's surprising the first time you run across it and I think it's best to regard it as a historical accident. Also, while postgresql and sqlite truncate integer division, mysql does not, so either decision will break compatibility with something.

[madelynnblue]

Agreed. Closing.