As Fare points out, the technique is more general. Assuming SUDTs lets
the auction code assume the SUDT convention for recording the value of a
cell, so we'll keep the assumption for simplicitly, but this patch notes
that it isn't essential.