Should overflow policy be part of the type instead of how a function works?

[mborland]

[mborland]

No, because the end result is that it makes the type deduction harder.

[mborland]

Perhaps we can inherit from the default and override the operators? The priority is keeping the reasonably clean.