That is a really good example of our different perspectives. I don't see why {{x->0}} should evaluate to {{x->0.}} in the special case where Precision[a]=MachinePrecision.
Anyhow, I think we both understand the different perspectives now. We agree on what it is and disagree on what it should be. That's fine with me. I happy we shared our points of view, Thanks!
