py: mp_obj_new_int_from_float() supported only for MICROPY_PY_BUILTINS_FLOAT.