Yes, `%` is division. It's not that odd, if you look at the symbol - it looks quite similar to the division symbol `÷`.
It's almost better asking where C got the idea that it should be mod from!
It's almost better asking where C got the idea that it should be mod from!