Use the name technique in `gvprintdouble` as in `xdot_fmt_num`. This
prevents strange characters in the SVG output when numbers get larger.

Updated the references files to reflect this change.