code: function numberType(mname, tpe, options) {
    const doubles = options.themeDoubles.split(',')
    if (doubles && doubles.includes(mname)) {
      return 'Double'
    } else {
      return 'Int'
    }
  }
docs: turn number into scala Double if element name matches cmdline arg list