fix: make dReal both compatible on linux and OSX (isnan problem)