Converted exact division and dumb division into a three-valued flag.

Also, support dumb division for bounded integers.