結果 : python convert int to binary with leading zeros