It helps me with autocomplete. In Python at least, I find int.__add__(a, b) is less idiomatic than a.add(b) which removes the global abstract. Though I

It helps me with autocomplete. In Python at least, I find int.__add__(a, b) is less idiomatic than a.add(b) which removes the global abstract. Though I see it looks less symmetric. I'm not a Rustacean - I only speak to the syntax difference.