This format does preclude non-integer numbers. It specifies that $i$ takes the integers between $0$ and $k$ inclusive, so yes, you could induct on $k$.
If we want to take non integer values, we can do that by specifying an "indexing set" $I$ and saying that $I$ contains all the values we want. We then write $\displaystyle \sum_{i \in I}f(i)$ to say that $i$ takes all values in the set $I$. This a commonly used in, for example, probability, where we take $I$ to be the set of all possible events and $f(i)$ the probability that $i$ occurs.