python控制数字输出长度