<div dir="ltr">On Tue, Nov 13, 2018 at 10:24 PM Graeme Fitzpatrick <<a href="mailto:graemefitz1@gmail.com">graemefitz1@gmail.com</a>> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_quote"><div>I had originally though about calling it 2.0 or 2.5, but thought that may create issues!</div><div><br></div><div>So, would aminn_level=2.5 work?</div></div></div></blockquote></div><div class="gmail_quote"><br></div><div class="gmail_quote">Depends if the database schema holds it as an integer or not.  That problem also applies to</div><div class="gmail_quote">admin_level=-2 depending on whether the schema uses signed or insigned integers for it.</div><div class="gmail_quote">Or it may be held as a string, in which case you could have admin_level=2.717828 to deal with</div><div class="gmail_quote">disputes over the bridges in Königsberg.  And admin_level=3.14169265358979 for disputes</div><div class="gmail_quote">over pie.<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">But look at what you're trying to achieve with special values meaning disputed.  So 2.5 (or -2) is the</div><div class="gmail_quote">same as 2 but disputed, 3.5 (or -3) is the same as 3 but disputed.  It's cleaner for code in the</div><div class="gmail_quote">renderer and for code in editors (and wetware in humans) to just have</div><div class="gmail_quote"> admin_level:disputed=yes (or some such) rather than give special meanings to special values</div><div class="gmail_quote"> of a number.<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">The days are long gone (thankfully) when programmers had to resort to trickery like this to</div><div class="gmail_quote">squeeze, for example, a complete typesetting system into 64K of RAM.  These days they go for</div><div class="gmail_quote">comprehensibility and maintainability over saving a few bytes here and there.</div><div class="gmail_quote"><br></div><div class="gmail_quote">And that's assuming a disputed flag doesn't cause more problems than it solves: "No, that border</div><div class="gmail_quote">isn't disputed, we're absolutely certain it's right." says one of the countries involved.  So now we</div><div class="gmail_quote">need a flag pointing out that one country disputes that it's a disputed border...</div><div class="gmail_quote"><br></div><div class="gmail_quote">-- <br></div><div class="gmail_quote">Paul</div><div class="gmail_quote"><br></div></div>