what about adding `gmp_version` below this, for symmetry? (I often call this structure a "variable switchboard")