The result of `//` is a float?