title: read_csv2() and the use of the locale() argument to import dot decimals as numbers
body: <p>Using <code>read_csv2()</code> I tried importing data (<code>csv</code> format and <code>;</code> delimited) and automatically detect <code>.</code> decimal numbers.</p>
  
  <p>I have been unsuccessful so far and keep getting the following output (one can see that the last column is <code>&lt;chr&gt;</code> rather than <code>&lt;num&gt;</code>):</p>
  
  <pre><code># A tibble: 46 x 4
               id     segment_id             value_type             value
            &lt;int&gt;          &lt;int&gt;                  &lt;chr&gt;             &lt;chr&gt;
  1             1              1                    min                 0
  2             1              1                    max               0.2
  3             1              2                    min                 0
  4             1              2                    max               0.2
  ...
  </code></pre>
  
  <p>What I have tried:</p>
  
  <p><strong>1.</strong></p>
  
  <pre><code>read_csv2("table.csv", col_types = cols())
  </code></pre>
  
  <p><strong>2.</strong> I read the <code>readr</code> and found out about <code>locale()</code> about which the following is said</p>
  
  <p><em>The locale controls defaults that vary from place to place. The default locale is US-centric (like R), but you can use <code>locale()</code> to create your own locale that controls things like the default time zone, encoding, decimal mark, big mark, and day/month names.</em></p>
  
  <p>With the code below, however, I did not solve my problem:</p>
  
  <pre><code>read_csv2("table.csv", col_types = cols(), col_names = TRUE, locale(decimal_mark = "."))
  </code></pre>
  
  <p><strong>3.</strong> After reading <a href="https://stackoverflow.com/questions/40946139/how-to-make-rs-read-csv2-recognise-the-text-characters-properly">How to make R&#39;s read_csv2() recognise the text characters properly</a> I tried all encondings listed in <em>File\Save with Encoding...</em> of RStudio to no avail:</p>
  
  <pre><code>read_csv2("table.csv", col_types = cols(), col_names = TRUE, locale(encoding = "ISO-8859-1"))
  </code></pre>
  
  <p>The encodings listed are: ISO-8859-1, ASCII, BIG5, GB18030, GB2312, ISO-2022-JP, ISO-2022-KR, ISO-8859-2, ISO-8859-7, SHIFT-JIS, UTF-8, WINDOWS-1252</p>