Re: [ieeefp-tests-devel] Symbolic printing of well-known values