Hotfix for stringstream number notation problem