An improved explanation of the floating point multiplication code would be great

[SUPERCILEX]

https://github.com/algorithmica-org/algorithmica/blob/master/content/english/hpc/arithmetic/float.md

Some comments explaining why we are shifting things around and what that does with one example would be very helpful. Or a link to some article/website that does that for common floating point operators.