Pass the double name through to the proxy for verified doubles.

This ensures that failure messages mention name the
specific double.