python十进制数转化为二进制整数使用字符串格式化操作