Fix type error in implementation of string->number (this is a conceptual type error that did not affect the correctness of the result)