Fix crash checking IEEE.MATH_REAL body
Fix bit_width for real types