Posting an answer here, if someone else might find it useful:

Thanks to @NickODell I learned that different CPUs will not generally yield the same results (see his comment on the question regarding AVX).

Hence I decided to limit the number of significant digits that are being stored in the snapshots. This is a pragmatic solution allowing for snapshot-reprodicibility.