Fix broken Windows build

TeamCity caught this, but I thought the error was from my warnings
work. Turns out it was a real build failure. Windows doesn’t know which
floating point floor to use. In reality the parentheses are in the
wrong place and should be the floor of the divide by 2. But integer
division is always floor, so it’s not needed at all.