While it is a fair assumption that a programmer using a given language is fluent in it, it's generally unreasonable to expect them to be an expert. Here I bet that not the overwhelming majority of C programmers are aware of the different handling of divisions by zero depending on whether it's a floating point or integer operation.

Further, those 'checks' might be in place for a long time, outlasting compiler versions and perhaps even language standards.