Index: firmware/App/Controllers/BloodFlow.c
===================================================================
diff -u -rc84daa1f07003427fc5cdde8f5651434478f7313 -re28798081348b470495ec605fcadda4276f37c46
--- firmware/App/Controllers/BloodFlow.c	(.../BloodFlow.c)	(revision c84daa1f07003427fc5cdde8f5651434478f7313)
+++ firmware/App/Controllers/BloodFlow.c	(.../BloodFlow.c)	(revision e28798081348b470495ec605fcadda4276f37c46)
@@ -15,9 +15,7 @@
 *
 ***************************************************************************/
 
-#ifndef _VECTORCAST_
-    #include <math.h>
-#endif
+#include <math.h>
 
 #include "can.h"
 #include "etpwm.h"
@@ -1025,10 +1023,10 @@
     if ( BLOOD_PUMP_CONTROL_TO_TARGET_STATE == bloodPumpState )
     {
         F32 cmdMotorSpeed = ( (F32)cmdRate / (F32)ML_PER_LITER ) * BP_REV_PER_LITER * BP_GEAR_RATIO;
-        F32 deltaMotorSpeed = FABS( measMotorSpeed - cmdMotorSpeed );
+        F32 deltaMotorSpeed = fabs( measMotorSpeed - cmdMotorSpeed );
         F32 measRotorSpeed = getMeasuredBloodPumpRotorSpeed();
         F32 measMotorSpeedInRotorRPM = measMotorSpeed / BP_GEAR_RATIO;
-        F32 deltaRotorSpeed = FABS( measRotorSpeed - measMotorSpeedInRotorRPM );
+        F32 deltaRotorSpeed = fabs( measRotorSpeed - measMotorSpeedInRotorRPM );
 
         // check measured motor speed vs. commanded motor speed while controlling to target
         if ( deltaMotorSpeed > BP_MAX_MOTOR_SPEED_ERROR_RPM )
@@ -1087,7 +1085,7 @@
         F32 flow = getMeasuredBloodFlowRate();
         F32 speed = getMeasuredBloodPumpSpeed();
         F32 impliedFlow = ( ( speed / BP_GEAR_RATIO ) / BP_REV_PER_LITER ) * (F32)ML_PER_LITER;
-        F32 delta = FABS( flow - impliedFlow );
+        F32 delta = fabs( flow - impliedFlow );
 
         if ( delta > BP_MAX_FLOW_VS_SPEED_DIFF_ML_MIN )
         {