Module Mixed format multiplications: Make these functions take integer representations and use the naming conventions to be consistent with the functions above and in stdfix-full-iso.h
Global recip_normalized_root (uint32_t x): INCORRECT FORMAT DOCUMENTATION. FIX THIS!
Global sqrtfx (f): Test that this actually works!