*** string-to-number now takes an optional second argument BASE
which specifies the base to use when converting an integer. If BASE is omitted, base 10 is used.

We have not implemented other radices for floating point numbers, because that would be much more work and does not seem useful.