IMHO, I think that among the proposals, Richard Guenther's actually seems the most elegant (avoid the seemingly unneeded zero-set completely), though I think his patch is not yet really a intended tested fix currently...
IMHO, I think that among the proposals, Richard Guenther's actually seems the most elegant (avoid the seemingly unneeded zero-set completely), though I think his patch is not yet really a intended tested fix currently...