of_string should raise an exception on non-numeric characters

[jasonperry]

It currently uses the value of int_of_char for any character. This can lead to unexpected results.

[mchaver]

And really of_string should return t option since there is no guarantee the string represents a number. Originally this was a direct copy and clean up of OCaml's zarith package but I see no reason to restrict it to that interface.