Option data type #9
Description
The data type of an option from summary.csv might not match the data type in overview.json, causing lookup error. For example, the option has a numeric data type when read from summary but is specified as a string.