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

Reply via email to