Our paper on floating-point optimization will appear at CGO 2026!