tests/float/float2int.py

# This case occurs with time.time() values
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)
py: Partially fix float to int conversion. 2014-12-30 00:22:10 +02:00			`# This case occurs with time.time() values`
			`print(int(1418774543.))`

			`# TODO: General case with large exponent`
			`#print(int(2.**100))`
objstr: Fix %d-formatting of floats. 2014-12-31 02:20:57 +02:00
			`print("%d" % 1418774543.)`

			`# TODO: General case with large exponent`
			`#print("%d" % 2.**100)`