min_dspace is an *unsigned* short, so saving 65535 (the default) was converting
the signed decimal representation when saving file.ini.