Correction server int -> float