9.7 is an integer.