Exception for (/ y 0)

Math

\[\frac{y}{0.0}\]

C

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

Reproduce

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