micropython/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. This fixes conversion when float type has more mantissa bits than small int, and float value has small exponent. This is for example the case of 32-bit platform using doubles, and converting value of time.time(). Conversion of floats with larg exponnet is still not handled correctly. 2014-12-30 06:22:10 +08: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 08:20:57 +08:00
			`print("%d" % 1418774543.)`

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