The isotonic map from a share to a probability, both in micro-units: a share takes the value of the last step whose first share is at most it, the first step if none is.