Correct rounding or mathematically-correct rounding?frama-c.com1 point·cokernel_hacker··0 commentsOpen articleSaveView on HN