make dReal compilable on OSX machine (use isnan in cmath)