Number formatter problem: topcoder 7591