modernc.org/ccgo/v3@v3.16.14/lib/testdata/CompCert-3.6/test/c/Results/integr (about) 1 integr(square, 0.0, 1.0, 10000000) = 0.333333