objstr: Fix %d-formatting of floats.

py/objstr.c

@@ -827,11 +827,7 @@ static bool arg_looks_numeric(mp_obj_t arg) {
 static mp_obj_t arg_as_int(mp_obj_t arg) {
 #if MICROPY_PY_BUILTINS_FLOAT
     if (MP_OBJ_IS_TYPE(arg, &mp_type_float)) {
-
-        // TODO: Needs a way to construct an mpz integer from a float
-
-        mp_int_t num = mp_obj_get_float(arg);
-        return MP_OBJ_NEW_SMALL_INT(num);
+        return mp_obj_new_int_from_float(mp_obj_get_float(arg));
     }
 #endif
     return arg;

tests/float/float2int.py

@@ -3,3 +3,8 @@ print(int(1418774543.))
 
 # TODO: General case with large exponent
 #print(int(2.**100))
+
+print("%d" % 1418774543.)
+
+# TODO: General case with large exponent
+#print("%d" % 2.**100)