JSC.OptionType.DOUBLE – javascriptcoregtk-6.0 Reference Manual
DOUBLE
Description:
DOUBLE
A
double
options type.