Herbie: 부정확한 부동소수점 식 자동 개선

Herbie는 부정확한 부동소수점 식을 자동으로 개선하는 도구로 소개된다.

댓글들은 Herbie가 해결하는 문제와 개선 방법의 설명을 요구했다.

일부는 정확도 개선을 언어 수준에 포함해야 한다고 제안했다.

또 다른 쪽은 자동 도구가 새 오류를 만들 수 있다고 경고했다.