Use MMD for min/max/minmax and add U: candidate

So Int.min will now say -Inf, etc. etc.