On 22/05/2019 13:17, Bill Schmidt wrote: > "We should use floating point."Â In fact, since we're compiler folk, we just say it's undefined behaviour and optimize it to "." :-P R.