add dump() to QuantifiedWidget