don't promote integer division (fix #5409)