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.