Empty sets are not stored

[eno]

instead, after patch restart, pins and number boxes hold a “0”