Fixes issue with TextFileReader using python engine and thousands != ","

Fixes #4596