Allow trading higher MIAs with lower UIAs; #949