but only if Options includes 'ordered' and mem3:shards() passes an empty options list. But, quite right, shards_int result goes straight out from mem3:shards, there's no downcast there.