Does anyone use dutch auctions in practice? They are more complicated, and if you have small increments there is no difference from what I suggested (a 31st-price auction). With big increments there is just rounding error. Or do I miss something?