Portable NaN printing

The actual string representation of NaNs is implementation defined and we got incompatible formats on Linux and Mac. Since there's no guaranteed way to print exactly the same way I had to explicitly handle NaNs.

Test: bazel test :dexter_tests

Change-Id: Idf84434e3d2830c51f12b7530ef05ce920e90378