DOUBLE


Description:

DOUBLE

A double option type.