Small software for making java strings into numbers