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