Sgl_mantissa
Sgl_to_dbl_mantissa(Sgl_mantissa(src), resultp1,resultp2);
Sgl_mantissa(sgl_value)==0)
Sgl_mantissa(sgl_value)!=0)