The main issue is that when melted the interpreter is allowed to perform the operation which result in an infinite value. However the C compiler rejects the code because it assumes this is not what the author intended. Clearly this is an over zealous C compiler. We could potentially prevent the code generation of 0 in this case, but I'm not sure if this is worthwhile. What is your feeling on this?