1 files changed, 3 insertions, 1 deletions
diff --git a/py/mpz.h b/py/mpz.h
index 8f5fc3720e..0ef1ad10db 100644
--- a/py/mpz.h
+++ b/py/mpz.h
@@ -65,7 +65,9 @@ mpz_t *mpz_div(const mpz_t *lhs, const mpz_t *rhs);
 mpz_t *mpz_mod(const mpz_t *lhs, const mpz_t *rhs);
 
 machine_int_t mpz_as_int(const mpz_t *z);
-machine_float_t mpz_as_float(const mpz_t *z);
+#if MICROPY_ENABLE_FLOAT
+mp_float_t mpz_as_float(const mpz_t *z);
+#endif
 uint mpz_as_str_size(const mpz_t *z, uint base);
 char *mpz_as_str(const mpz_t *z, uint base);
 uint mpz_as_str_inpl(const mpz_t *z, uint base, char *str);