diff --git a/inc/system/gpio.h b/inc/system/gpio.h
--- a/inc/system/gpio.h
+++ b/inc/system/gpio.h
@@ -47,6 +47,7 @@
 void user_input(uint16_t* to_modify);
 void user_input_min_max(uint16_t* to_modify, uint16_t min, uint16_t max);
 void user_input_signed(int32_t* to_modify);
+void user_input_float(float* to_modify);
 
 void gpio_init(void);
 void gpio_led_blueblink(uint8_t num_blinks);