I don't see why this is not integer division