rev int -> float