Symbol: Dbl_to_sgl_mantissa