valid-fp64-el.txt 750 Bytes