The idea that programmers are confused by int(3.7)-->3 may not be nuts, but it doesn't match any experience I've had with any programmer, ever.
You haven't been doing newbie support in #python lately. Statements like Python is rounding wrong are common.
Of course, those floating point repr questions are common, but that wasn't the issue here.
The trunc() protagonists are contending that the int(f) function will be confused with the round(f, n) function. I've never seen than come up, ever.