I bet 1$ it is not automatically cleared by PBP ( ... ) in an overflow situation.
Go ahead and bet your dollar. I'm using PBP for software in a human patient connected device. If my device fails to work when it's supposed to that person will die.

You can bet your buck but I'm not betting someone's life on an undocumented "feature."

I do code very defensively when using integer math; typically checking inputs for values in the expected range to keep the output from overflowing is sufficient.