sqrt1.c uses long double #3
Description
The sqrt1.c benchmark uses long double, which is a not-very-portable feature of C. It's used only in the main function, which I'm not sure is meant to be verified in any case. But that prevents the entire program from compiling in compilers (such as CompCert) that do not support long double. Is it really essential for this benchmark to use long double ?