<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Oct 18, 2017, at 1:20 PM, David Sweeris <<a href="mailto:davesweeris@mac.com" class="">davesweeris@mac.com</a>> wrote:</div><div class=""><br style="font-family: Helvetica; font-size: 24px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Helvetica; font-size: 24px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">How many bugs have been caused by floating point types violating the programmer's mental model of how numbers work? To me, their both in the same category... both involve specific types that claim to adhere to a certain behavior, and both don't in sometimes subtle ways.</span><br style="font-family: Helvetica; font-size: 24px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""></div></blockquote><br class=""></div><div>I think we have plenty of evidence that misunderstandings about floating point lead to bugs. For example: <a href="https://www.theinquirer.net/inquirer/news/1047844/floating-point-bugs-explode" class="">https://www.theinquirer.net/inquirer/news/1047844/floating-point-bugs-explode</a></div><div><br class=""></div><div>It took me about 30 seconds to find a clear example for floating point, and we all know there are many many more.</div><div><br class=""></div><div>Can anyone find even a single example of this function leading to a shipping bug in the real world?</div></body></html>