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