Index: firmware/App/Controllers/DrainPump.c
===================================================================
diff -u -r74a9c045d2d045721baac1d15b618db450e7f775 -r6d43aaf32070f80ac586ffe67a6364a6a2618b65
--- firmware/App/Controllers/DrainPump.c	(.../DrainPump.c)	(revision 74a9c045d2d045721baac1d15b618db450e7f775)
+++ firmware/App/Controllers/DrainPump.c	(.../DrainPump.c)	(revision 6d43aaf32070f80ac586ffe67a6364a6a2618b65)
@@ -15,9 +15,7 @@
 *
 ***************************************************************************/
 
-#ifndef _VECTORCAST_
-    #include <math.h>
-#endif
+#include <math.h>
 
 #include "etpwm.h"
 #include "mibspi.h"
Index: firmware/App/Controllers/ROPump.c
===================================================================
diff -u -r8f5feed92f41a476d5656038bcdfe884e17bd593 -r6d43aaf32070f80ac586ffe67a6364a6a2618b65
--- firmware/App/Controllers/ROPump.c	(.../ROPump.c)	(revision 8f5feed92f41a476d5656038bcdfe884e17bd593)
+++ firmware/App/Controllers/ROPump.c	(.../ROPump.c)	(revision 6d43aaf32070f80ac586ffe67a6364a6a2618b65)
@@ -15,9 +15,7 @@
 *
 ***************************************************************************/
 
-#ifndef _VECTORCAST_
-    #include <math.h>
-#endif
+#include <math.h>
 
 #include "etpwm.h"
 #include "mibspi.h"
Index: firmware/App/Controllers/TemperatureSensors.c
===================================================================
diff -u -r74a9c045d2d045721baac1d15b618db450e7f775 -r6d43aaf32070f80ac586ffe67a6364a6a2618b65
--- firmware/App/Controllers/TemperatureSensors.c	(.../TemperatureSensors.c)	(revision 74a9c045d2d045721baac1d15b618db450e7f775)
+++ firmware/App/Controllers/TemperatureSensors.c	(.../TemperatureSensors.c)	(revision 6d43aaf32070f80ac586ffe67a6364a6a2618b65)
@@ -361,7 +361,7 @@
 {
     F32 temperature;
 
-    if ( FABS( adcConversionCoeff ) < NEARLY_ZERO )
+    if ( fabs( adcConversionCoeff ) < NEARLY_ZERO )
     {
         // R(RTD) = R(ref) * (adc – 2^N-1) / (G *2^N-1);
         F32 resistance = (refResistance * (avgADC - pow(2,(TEMP_SENSORS_ADC_BITS - 1)))) / (gain * pow(2,(TEMP_SENSORS_ADC_BITS - 1)));
Index: firmware/App/Services/PIControllers.c
===================================================================
diff -u -r699c4f96ab672fb9db9ac218a5a00358dc68c2c6 -r6d43aaf32070f80ac586ffe67a6364a6a2618b65
--- firmware/App/Services/PIControllers.c	(.../PIControllers.c)	(revision 699c4f96ab672fb9db9ac218a5a00358dc68c2c6)
+++ firmware/App/Services/PIControllers.c	(.../PIControllers.c)	(revision 6d43aaf32070f80ac586ffe67a6364a6a2618b65)
@@ -15,9 +15,7 @@
 *
 ***************************************************************************/
 
-#ifndef _VECTORCAST_
-    #include "math.h"
-#endif
+#include "math.h"
 
 #include "SystemCommMessages.h"
 #include "PIControllers.h"