Unnamed

def num2str(num):    num_list = []    while num / 1000.0 >= 0.001:        num_list.append('%.3d' % (num % 1000))        num /= 1000.0    else:        num_str = '0'    if len(num_list) != 0:        num_list.reverse()        num_str = '.'.join(num_list)        while num_str[0] == '0':            num_str = num_str[1:]    return num_str