Fix reference to global Exception class.

Also, in passing, use a more precise type of Exception from the PHP Standard
Library.  DomainException can be used where a value is not a legitimate member
of some prescribed set of values, which seems to fit nicely with my
requirements for a string expressing a numeric value.