This is an important floating point math routine, documented in many places.

XXX - try to find real-life example