[python] add decimal to binary