* doc/lispref/numbers.texi (Float Basics): Mention floating-point rounding issues uncovered by the discussion in Bug#42417.
