valid-fp64.txt 748 Bytes