[Python-ideas] Integer concatenation to byte string