valid-fp64-el.txt 1.16 KB