> Being 0 makes sense for additive matching, but not for other types.

If no other pattern returns 0 then perhaps exact only applies in the case where pattern is an Add.