id	summary	reporter	owner	description	type	status	component	version	severity	resolution	keywords	cc	stage	has_patch	needs_docs	needs_tests	needs_better_patch	easy	ui_ux
13810	number format routine improvement	milosu	nobody	in nuberformat format(), decimal_pos == 0 should effectively remove the decimal part and decimal_pos < len(dec_part) should truncate the decimal part. patch attached.	Bug	closed	Core (Other)	dev	Normal	fixed		david.danier@…	Ready for checkin	1	0	0	0	0	0