One more int -> double