herbie-lint (cargo): A rustc plugin to check for numerical instability
Keywords: float|lint|math|plugin|herbie