What is the normalized IEEE standard $32$ bit result of adding ${12\mathrm{.}5}^{**}{2}^4$

to ${7\mathrm{.}25}^{**}{2}^6$