Implementation of binary floating-point arithmetic on embedded ...

This exercise has already been completed in (10.71)but ... [M 13 Marsden, J. E. & Hughes, T. J. R., Mathematical Foitndutions ... W = S : 6E = SQ~EQ.