Fixed bug in StringToken that returned the index as a double.