Doctest: ieee754.txt ... ok