Representación Interna de Datos

Hola, buenas noches. 

El ejercicio pide representar $67\times2^{-7}$ y $37\times2^{7}$ en punto flotante de 16 bits (s: 1 bit, e: 5 bits, m: 10 bits). Sumar ambos números y luego dividir el primer número entre el segundo. 

Lo primero que hice fue pasarlos a binario, luego normalizarlos. Me quedaron: $67\times2^{-7} = 1,000011\times2^{-1}$ y $37\times2^{7} = 1,00101\times2^{12}$. 

Para sumarlos, llevé el exponente más chico hacia el más grande: $1,000011\times2^{-1} = 0,000000000001000011\times2^{12}$. Completé la mantisa de menor largo con ceros a la derecha. Luego realicé la suma de ambos números y el resultado me dio $1,000011000001000011\times2^{12}$, para codificar la mantisa solo tengo 10 bits, ¿en este caso solo tomaría los primeros 10 bits de la mantisa? (que serían $0000110000$). 

Para el producto, hice $(1,00101\times2^{12})^{-1} \times (1,000011\times2^{-1})$. Sume los exponentes $-1 + (-12) = -13$ y luego multiplique las mantisas $000011 \times 00101 = 0000001111$ y al final concluí que $(1,00101\times2^{12})^{-1} \times (1,000011\times2^{-1}) = 1,0000001111\times2^{-13}$. 

Me gustaría corroborar si los resultados, y sobre todo los procedimientos, están bien. Espero sus comentarios. 

Saludos!