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