Mark Dickinson <dickinsm at gmail.com> writes: > For randomly chosen(*) base B floats x and y, the probability that > (x/y)*y == x is approximately given by I remember hearing that IEEE 754 was carefully designed to make this identity hold as often as possible when y is a small integer.