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.
