Fix #88: Guarantee floating point round-trip precision when exporting #520

Job	Run time
build_linux (gcc-9, ubuntu-22.04, NO)	1m 58s
build_linux (gcc-10, ubuntu-22.04, NO)	2m 5s
build_linux (gcc-10, ubuntu-22.04, YES)	2m 17s
build_linux (clang-13, ubuntu-22.04, NO)	2m 16s
build_linux (clang-15, ubuntu-22.04, NO)	2m 5s
build_linux (clang-15, ubuntu-22.04, YES)	2m 43s
build_linux (ubuntu-24.04, gcc-14, g++-14)	2m 22s
build_linux (ubuntu-24.04, clang-18, clang++-18)	2m 14s
build_linux_deprecated_extensions (gcc-9, ubuntu-22.04)	2m 48s
build_linux_deprecated_extensions (gcc-10, ubuntu-22.04)	2m 22s
build_linux_deprecated_extensions (clang-13, ubuntu-22.04)	2m 13s
build_windows_deprecated_extensions	2m 41s
build_windows (NO)	2m 42s
build_linux_deprecated_extensions (ubuntu-24.04, gcc-14, g++-14)	2m 7s
build_windows (YES)	2m 43s
build_linux_deprecated_extensions (ubuntu-24.04, clang-18, clang++-18)	2m 19s
	37m 55s

Provide feedback