Various fixes and bump mathlib/minif2f #20

Closed spolu closed 2 years ago