<div dir="ltr"><div class="gmail_extra">-1</div><div class="gmail_extra"><br></div><div class="gmail_extra">This would make floating point values a pain to work with for seemingly little gain.</div><div class="gmail_extra"><br></div></div>