wrap some floating point values in REAL()
wrap some floating point values in REAL()

nabijaczleweli/ODE,nabijaczleweli/ODE,nabijaczleweli/ODE,keletskiy/ode,keletskiy/ode,nabijaczleweli/ODE,keletskiy/ode,nabijaczleweli/ODE,keletskiy/ode,nabijaczleweli/ODE,keletskiy/ode,keletskiy/ode