Past exam of the year 1 of the computer science course of the University of Oxford / 2015 / Digital systems, linear algebra, introduction to formal proof / 5 / b / Solution

Both signs are positive, so perform addition of the aligned significands. The true exponents are $-1$ and $3$, a difference of four. Shift the smaller significand right four places, retaining its low bits:Add at the common exponent:Renormalization raises the true exponent to $4$ and the biased exponent to $E=19=10011_2$. There are only seven fraction places to retain, so no floating-point rounding changes the result:The complete word is 0100110000001000.