let fract_real = "div_real"