Don't forget `Int.+(String)` and friends