Where is the implementation of `dividedReportingOverflow`?

[Nevin]

Those examples should at most warn.

They should all compile, since they exercise defined behavior.