Symbol: _DOUBLE_FORMAT