set numeric locale to "C". helps #7167