Exception for (/ 1 (- 0.3333333333333333 0.3333333333333333))

Math

\[\frac{1}{0.333333333333333315 - 0.333333333333333315}\]

C

double code() {
	return ((double) (1.0 / ((double) (0.3333333333333333 - 0.3333333333333333))));
}

Reproduce

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