Clarify that "10.0" should work for float, not for int