Re: proposal: rounding up time value less than its unit.

<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span
style="font-family:arial">OnTue, Sep 23, 2014 at 3:05 PM, Greg Stark </span><span dir="ltr"
style="font-family:arial"><<ahref="mailto:stark@mit.edu" target="_blank">stark@mit.edu</a>></span><span
style="font-family:arial">wrote:</span><br /></div><div class="gmail_extra"><div class="gmail_quote"><blockquote
class="gmail_quote"style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><p
dir="ltr">FwiwI agree with TL2. The simplest, least surprising behaviour to explain to users is to say we round to
nearestand if that means we rounded to zero (or another special value) we throw an error. We could list the minimum
valuein pg_settings and maybe in documentation.</blockquote><div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">​I'mnot sure TL2 would agree that you are agreeing with him...</div><div
class="gmail_default"style="font-family:arial,helvetica,sans-serif"><br /></div><div class="gmail_default"
style="font-family:arial,helvetica,sans-serif">Tothe other point the minimum unit-less value is 1.  The unit that is
appliedis already listed in pg_settings​ and the documentation.  While 0 is allowed it is more of a flag than a
value.</div><divclass="gmail_default" style="font-family:arial,helvetica,sans-serif"><br /></div><div
class="gmail_default"style="font-family:arial,helvetica,sans-serif">David J.</div><div class="gmail_default"
style="font-family:arial,helvetica,sans-serif"><br/></div></div></div></div>