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