statfloats Repository for statistical verification of rounding errors in floating point arithmetic for C programs.