Oh I agree about that, and I agree that NaN is a good default for an uninitialized floating point variable. My point was that you don't always, with every vari

Oh I agree about that, and I agree that NaN is a good default for an uninitialized floating point variable. My point was that you don't always, with every variable, need to be able to express an "undefined" or "invalid" value. The type system should be able to express if a given value is nullable or not.