pock: Use floor division on integers.