[PLDI24] Numerical Fuzz: A Type System for Rounding Error Analysis | ACM SIGPLAN | Podwise