Add test for flooring integer division bug
Add flooring integer division