LUCENE-1846: DateTools now uses the US locale everywhere, so DateTools.round() is safe also in strange locales