Why? As long as float -> int implicit conversion are forbidden, I don't see any issue with allowing implicit int -> float conversion.