Andrea Fontana: > Shoudn't "0".is_zero give this error too? Possibly yes. I put this enhancement request in Bugzilla few months ago, but I don't remember its number now. Bye, bearophile