don't promote integer division (fix #5409)
document promotion behaviors
Merge pull request #5412 from stevengj/intdiv

don't promote integer division (fix #5409)