Sorry, although what I really need is the string-number rounded UP every time. So if the number is 3890.32, it needs to go to 3900; if the number is 3811.345, it needs to go to 3900 also.
So, Florian's answer works. -- http://mail.python.org/mailman/listinfo/python-list