mathlib

3863794d - rewrite fsum for the purpose of configurations