Writes the specified optional double value to this Filer object.
value is written if and only if (value != default) || (includesDefaultValues() == true)