Refactoring the overflow masks

They should now properly derive from the defined data-bus, so that
future changes to bus width also properly constrain math operations
automatically.