From:
Claude-Pierre Jeannerod, Siegfried M. Rump:
On relative errors of floating-point operations: Optimal bounds and applications,
Math. Comput., 87(310):803-819, 2018.

The paper also contain a specific result for division in radix2 (only
the generic radix result is proved here).