Detecting inadvertent use of integer division

[Walter Bright]

Don wrote:
> Integer expressions remain inexact until there's a cast.
> 
> (It's very simple to implement, you just use the integer range code, 
> adding an 'inexact' flag. Division sets the flag, casts clear the flag, 
> everything else just propagates it if a unary operation, or ORs the two 
> flags if a binary operation).

That sounds like a very good idea.