diff --git a/libraries/AP_HAL/utility/print_vprintf.cpp b/libraries/AP_HAL/utility/print_vprintf.cpp
index 8333ba8d62..01e6d98540 100644
--- a/libraries/AP_HAL/utility/print_vprintf.cpp
+++ b/libraries/AP_HAL/utility/print_vprintf.cpp
@@ -157,6 +157,7 @@ void print_vprintf(AP_HAL::BetterStream *s, const char *fmt, va_list ap)
                 break;
             } while ((c = *fmt++) != 0);
 
+#if CONFIG_HAL_BOARD != HAL_BOARD_CHIBIOS || __FPU_PRESENT
             /*
              * Handle floating-point formats E, F, G, e, f, g.
              */
@@ -349,7 +350,7 @@ flt_oper:
 
                 goto tail;
             }
-
+#endif //#if CONFIG_HAL_BOARD != HAL_BOARD_CHIBIOS || __FPU_PRESENT
             /*
              * Handle string formats c, s, S.
              */