Index: trunk/BNC/src/PPP_SSR_I/pppFilter.cpp
===================================================================
--- trunk/BNC/src/PPP_SSR_I/pppFilter.cpp	(revision 8252)
+++ trunk/BNC/src/PPP_SSR_I/pppFilter.cpp	(revision 8253)
@@ -295,7 +295,7 @@
   bancroft(BB, _xcBanc);
 
-  if (isnan(_xcBanc(1)) ||
-      isnan(_xcBanc(2)) ||
-      isnan(_xcBanc(3))) {
+  if (std::isnan(_xcBanc(1)) ||
+      std::isnan(_xcBanc(2)) ||
+      std::isnan(_xcBanc(3))) {
     return failure;
   }
Index: trunk/BNC/src/bncephuser.cpp
===================================================================
--- trunk/BNC/src/bncephuser.cpp	(revision 8252)
+++ trunk/BNC/src/bncephuser.cpp	(revision 8253)
@@ -38,4 +38,5 @@
  * -----------------------------------------------------------------------*/
 
+#include <cmath>
 #include <iostream>
 
@@ -205,5 +206,5 @@
   const double MINDIST = 2.e7;
   const double MAXDIST = 6.e7;
-  if (rr < MINDIST || rr > MAXDIST || isnan(rr)) {
+  if (rr < MINDIST || rr > MAXDIST || std::isnan(rr)) {
     eph->setCheckState(t_eph::bad);
     return;