Convert float to sympy rational in fung_D
Update symbolics in fung_D