make all the throws of the conversion error explicit, so that users and compilers can graps the fact that the case statement is terminated.