I want to get just the value, but the only options seem to be - print using some undocumented human-readable format - export using some unspecified default format - export using DMPSTORE format How about a format option for JSON? Or just the plain value?