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