[Python-ideas] Is there a good reason to use * for multiplication?