Yes that is correct. However that merge of 'default' with case '+' will violate my initial point of not having a default case.
So i guess rather repeating the code in default, you can just return something.