Core-MATH: a pathway towards mandatory correct rounding in the next IEEE-754 stdgitlab.inria.fr3 pointsthxg4 years ago