Exception for (/ 1 0)

Math

\[\frac{1}{0.0}\]

C

double code() {
	return ((double) (1.0 / 0.0));
}

Reproduce

herbie shell --seed 2020153 
(FPCore ()
  :name "(/ 1 0)"
  :precision binary64
  (/ 1.0 0.0))