objstr: Fix %d-formatting of floats.
diff --git a/tests/float/float2int.py b/tests/float/float2int.py
index 59d904e..ca2914c 100644
--- a/tests/float/float2int.py
+++ b/tests/float/float2int.py
@@ -3,3 +3,8 @@
 
 # TODO: General case with large exponent
 #print(int(2.**100))
+
+print("%d" % 1418774543.)
+
+# TODO: General case with large exponent
+#print("%d" % 2.**100)