title: 32- or 64-bits float division with PrestoSQL
body: <p>In Presto SQL, <code>SELECT 1 / 3</code> returns <code>0</code>, because <code>/</code> performs integer division.</p>
  
  <p>But <code>SELECT 1.0 / 3</code> returns <code>0.3</code>... How can I get <code>0.3333333333</code>? (i.e., more specifically, 32- or 64-bits precision instead of first decimal truncation?)</p>