title: timestamp formatting - from 1/1000th of a sec to 1/100th of sec
body: <p>Need to convert timestamps with 1/1000 second resolution to 1/100 resolution. I could possibly use  <code>to_char(timestamp, text)</code> formatting function for this purpose, however need help with <code>text</code> to be used here.</p>
  
  <p><strong>input table</strong> (note - the timestamps here are stored as varchar)</p>
  
  <pre><code>+-------------------------+
  |       ms1000_val        |
  +-------------------------+
  | 2017/02/20 08:27:17.899 |
  | 2017/02/20 08:23:43.894 |
  | 2017/02/20 08:24:41.894 |
  | 2017/02/20 08:28:09.899 |
  +-------------------------+
  </code></pre>
  
  <p><strong>output table</strong></p>
  
  <pre><code>+------------------------+
  |       ms100_val        |
  +------------------------+
  | 2017/02/20 08:27:17.89 |
  | 2017/02/20 08:23:43.89 |
  | 2017/02/20 08:24:41.89 |
  | 2017/02/20 08:28:09.89 |
  +------------------------+
  </code></pre>