-
Guillaume Melquiond authored
Fix hypotheses of relative_error{,_N}_FLT{,_round}_F2R_emin theorems so that they handle subnormal numbers too.
6bfa9059
Fix hypotheses of relative_error{,_N}_FLT{,_round}_F2R_emin theorems so that they handle subnormal numbers too.