diff options
Diffstat (limited to 'py/objint_mpz.c')
| -rw-r--r-- | py/objint_mpz.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/py/objint_mpz.c b/py/objint_mpz.c index 6e1ee1a999..5cd4fb7bac 100644 --- a/py/objint_mpz.c +++ b/py/objint_mpz.c @@ -60,10 +60,13 @@ mp_obj_t int_binary_op(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) { return MP_OBJ_NULL; } - if (op == RT_BINARY_OP_TRUE_DIVIDE || op == RT_BINARY_OP_INPLACE_TRUE_DIVIDE) { - machine_float_t flhs = mpz_as_float(zlhs); - machine_float_t frhs = mpz_as_float(zrhs); + if (0) { +#if MICROPY_ENABLE_FLOAT + } else if (op == RT_BINARY_OP_TRUE_DIVIDE || op == RT_BINARY_OP_INPLACE_TRUE_DIVIDE) { + mp_float_t flhs = mpz_as_float(zlhs); + mp_float_t frhs = mpz_as_float(zrhs); return mp_obj_new_float(flhs / frhs); +#endif } else if (op <= RT_BINARY_OP_POWER) { mp_obj_int_t *res = mp_obj_int_new_mpz(); |