valid-fp64.txt 1.17 KB