opt/eval: Include mathematics.h for NAN/INFINITY