We are currently solving the following issue within our repository. Here is the issue text:
--- BEGIN ISSUE ---
Automatic configuration of Slider.format
Integer sliders should use integer formatting.


--- END ISSUE ---

Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
--- BEGIN FILES ---
Path: `bokeh/models/widgets/sliders.py`
Content:
```
1 """ Various kinds of slider widgets.
2 
3 """
4 from __future__ import absolute_import
5 
6 from ...core.has_props import abstract
7 from ...core.properties import Bool, Int, Float, String, Date, Enum, Tuple, Instance, Color, Override
8 from ...core.enums import SliderCallbackPolicy
9 from ..callbacks import Callback
10 from .widget import Widget
11 
12 @abstract
13 class AbstractSlider(Widget):
14     """ """
15 
16     title = String(default="", help="""
17     Slider's label.
18     """)
19 
20     show_value = Bool(default=True, help="""
21     Whether or not show slider's value.
22     """)
23 
24     format = String(help="""
25     """)
26 
27     orientation = Enum("horizontal", "vertical", help="""
28     Orient the slider either horizontally (default) or vertically.
29     """)
30 
31     direction = Enum("ltr", "rtl", help="""
32     """)
33 
34     tooltips = Bool(default=True, help="""
35     """)
36 
37     callback = Instance(Callback, help="""
38     A callback to run in the browser whenever the current Slider value changes.
39     """)
40 
41     callback_throttle = Float(default=200, help="""
42     Number of millseconds to pause between callback calls as the slider is moved.
43     """)
44 
45     callback_policy = Enum(SliderCallbackPolicy, default="throttle", help="""
46     When the callback is initiated. This parameter can take on only one of three options:
47 
48     * "continuous": the callback will be executed immediately for each movement of the slider
49     * "throttle": the callback will be executed at most every ``callback_throttle`` milliseconds.
50     * "mouseup": the callback will be executed only once when the slider is released.
51 
52     The "mouseup" policy is intended for scenarios in which the callback is expensive in time.
53     """)
54 
55     bar_color = Color(default="#3fb8af", help="""
56     """)
57 
58 class Slider(AbstractSlider):
59     """ Slider-based number selection widget. """
60 
61     start = Float(help="""
62     The minimum allowable value.
63     """)
64 
65     end = Float(help="""
66     The maximum allowable value.
67     """)
68 
69     value = Float(help="""
70     Initial or selected value.
71     """)
72 
73     step = Float(default=1, help="""
74     The step between consecutive values.
75     """)
76 
77     format = Override(default="0,0.00")
78 
79 class RangeSlider(AbstractSlider):
80     """ Range-slider based number range selection widget. """
81 
82     value = Tuple(Float, Float, help="""
83     Initial or selected range.
84     """)
85 
86     start = Float(help="""
87     The minimum allowable value.
88     """)
89 
90     end = Float(help="""
91     The maximum allowable value.
92     """)
93 
94     step = Float(default=1, help="""
95     The step between consecutive values.
96     """)
97 
98     format = Override(default="0,0.00")
99 
100 class DateSlider(AbstractSlider):
101     """ Slider-based date selection widget. """
102 
103     value = Date(help="""
104     Initial or selected value.
105     """)
106 
107     start = Date(help="""
108     The minimum allowable value.
109     """)
110 
111     end = Date(help="""
112     The maximum allowable value.
113     """)
114 
115     step = Int(default=1, help="""
116     The step between consecutive values.
117     """)
118 
119     format = Override(default="%d %b %G")
120 
121 class DateRangeSlider(AbstractSlider):
122     """ Slider-based date range selection widget. """
123 
124     value = Tuple(Date, Date, help="""
125     Initial or selected range.
126     """)
127 
128     start = Date(help="""
129     The minimum allowable value.
130     """)
131 
132     end = Date(help="""
133     The maximum allowable value.
134     """)
135 
136     step = Int(default=1, help="""
137     The step between consecutive values.
138     """)
139 
140     format = Override(default="%d %b %G")
141
```
--- END FILES ---

Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.

Here is an example:

```diff
diff --git a/examples/server_async.py b/examples/server_async.py
--- a/examples/server_async.py
+++ b/examples/server_async.py
@@ -313,4 +313,4 @@
 
 
 if __name__ == "__main__":
-    asyncio.run(run_async_server("."), debug=True)
+    asyncio.run(run_async_server(), debug=True)
diff --git a/examples/server_sync.py b/examples/server_sync.py
--- a/examples/server_sync.py
+++ b/examples/server_sync.py
@@ -313,5 +313,5 @@
 
 
 if __name__ == "__main__":
-    server = run_sync_server(".")
+    server = run_sync_server()
     server.shutdown()

```

diff --git a/bokeh/models/widgets/sliders.py b/bokeh/models/widgets/sliders.py
--- a/bokeh/models/widgets/sliders.py
+++ b/bokeh/models/widgets/sliders.py
@@ -74,7 +74,7 @@
     The step between consecutive values.
     """)
 
-    format = Override(default="0,0.00")
+    format = Override(default="0[.]00")
 
 class RangeSlider(AbstractSlider):
     """ Range-slider based number range selection widget. """
@@ -95,7 +95,7 @@
     The step between consecutive values.
     """)
 
-    format = Override(default="0,0.00")
+    format = Override(default="0[.]00")
 
 class DateSlider(AbstractSlider):
     """ Slider-based date selection widget. """

{"golden_diff": "diff --git a/bokeh/models/widgets/sliders.py b/bokeh/models/widgets/sliders.py\n--- a/bokeh/models/widgets/sliders.py\n+++ b/bokeh/models/widgets/sliders.py\n@@ -74,7 +74,7 @@\n     The step between consecutive values.\n     \"\"\")\n \n-    format = Override(default=\"0,0.00\")\n+    format = Override(default=\"0[.]00\")\n \n class RangeSlider(AbstractSlider):\n     \"\"\" Range-slider based number range selection widget. \"\"\"\n@@ -95,7 +95,7 @@\n     The step between consecutive values.\n     \"\"\")\n \n-    format = Override(default=\"0,0.00\")\n+    format = Override(default=\"0[.]00\")\n \n class DateSlider(AbstractSlider):\n     \"\"\" Slider-based date selection widget. \"\"\"\n", "issue": "Automatic configuration of Slider.format\nInteger sliders should use integer formatting.\r\n\n", "before_files": [{"content": "\"\"\" Various kinds of slider widgets.\n\n\"\"\"\nfrom __future__ import absolute_import\n\nfrom ...core.has_props import abstract\nfrom ...core.properties import Bool, Int, Float, String, Date, Enum, Tuple, Instance, Color, Override\nfrom ...core.enums import SliderCallbackPolicy\nfrom ..callbacks import Callback\nfrom .widget import Widget\n\n@abstract\nclass AbstractSlider(Widget):\n    \"\"\" \"\"\"\n\n    title = String(default=\"\", help=\"\"\"\n    Slider's label.\n    \"\"\")\n\n    show_value = Bool(default=True, help=\"\"\"\n    Whether or not show slider's value.\n    \"\"\")\n\n    format = String(help=\"\"\"\n    \"\"\")\n\n    orientation = Enum(\"horizontal\", \"vertical\", help=\"\"\"\n    Orient the slider either horizontally (default) or vertically.\n    \"\"\")\n\n    direction = Enum(\"ltr\", \"rtl\", help=\"\"\"\n    \"\"\")\n\n    tooltips = Bool(default=True, help=\"\"\"\n    \"\"\")\n\n    callback = Instance(Callback, help=\"\"\"\n    A callback to run in the browser whenever the current Slider value changes.\n    \"\"\")\n\n    callback_throttle = Float(default=200, help=\"\"\"\n    Number of millseconds to pause between callback calls as the slider is moved.\n    \"\"\")\n\n    callback_policy = Enum(SliderCallbackPolicy, default=\"throttle\", help=\"\"\"\n    When the callback is initiated. This parameter can take on only one of three options:\n\n    * \"continuous\": the callback will be executed immediately for each movement of the slider\n    * \"throttle\": the callback will be executed at most every ``callback_throttle`` milliseconds.\n    * \"mouseup\": the callback will be executed only once when the slider is released.\n\n    The \"mouseup\" policy is intended for scenarios in which the callback is expensive in time.\n    \"\"\")\n\n    bar_color = Color(default=\"#3fb8af\", help=\"\"\"\n    \"\"\")\n\nclass Slider(AbstractSlider):\n    \"\"\" Slider-based number selection widget. \"\"\"\n\n    start = Float(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Float(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    value = Float(help=\"\"\"\n    Initial or selected value.\n    \"\"\")\n\n    step = Float(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"0,0.00\")\n\nclass RangeSlider(AbstractSlider):\n    \"\"\" Range-slider based number range selection widget. \"\"\"\n\n    value = Tuple(Float, Float, help=\"\"\"\n    Initial or selected range.\n    \"\"\")\n\n    start = Float(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Float(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    step = Float(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"0,0.00\")\n\nclass DateSlider(AbstractSlider):\n    \"\"\" Slider-based date selection widget. \"\"\"\n\n    value = Date(help=\"\"\"\n    Initial or selected value.\n    \"\"\")\n\n    start = Date(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Date(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    step = Int(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"%d %b %G\")\n\nclass DateRangeSlider(AbstractSlider):\n    \"\"\" Slider-based date range selection widget. \"\"\"\n\n    value = Tuple(Date, Date, help=\"\"\"\n    Initial or selected range.\n    \"\"\")\n\n    start = Date(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Date(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    step = Int(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"%d %b %G\")\n", "path": "bokeh/models/widgets/sliders.py"}], "after_files": [{"content": "\"\"\" Various kinds of slider widgets.\n\n\"\"\"\nfrom __future__ import absolute_import\n\nfrom ...core.has_props import abstract\nfrom ...core.properties import Bool, Int, Float, String, Date, Enum, Tuple, Instance, Color, Override\nfrom ...core.enums import SliderCallbackPolicy\nfrom ..callbacks import Callback\nfrom .widget import Widget\n\n@abstract\nclass AbstractSlider(Widget):\n    \"\"\" \"\"\"\n\n    title = String(default=\"\", help=\"\"\"\n    Slider's label.\n    \"\"\")\n\n    show_value = Bool(default=True, help=\"\"\"\n    Whether or not show slider's value.\n    \"\"\")\n\n    format = String(help=\"\"\"\n    \"\"\")\n\n    orientation = Enum(\"horizontal\", \"vertical\", help=\"\"\"\n    Orient the slider either horizontally (default) or vertically.\n    \"\"\")\n\n    direction = Enum(\"ltr\", \"rtl\", help=\"\"\"\n    \"\"\")\n\n    tooltips = Bool(default=True, help=\"\"\"\n    \"\"\")\n\n    callback = Instance(Callback, help=\"\"\"\n    A callback to run in the browser whenever the current Slider value changes.\n    \"\"\")\n\n    callback_throttle = Float(default=200, help=\"\"\"\n    Number of millseconds to pause between callback calls as the slider is moved.\n    \"\"\")\n\n    callback_policy = Enum(SliderCallbackPolicy, default=\"throttle\", help=\"\"\"\n    When the callback is initiated. This parameter can take on only one of three options:\n\n    * \"continuous\": the callback will be executed immediately for each movement of the slider\n    * \"throttle\": the callback will be executed at most every ``callback_throttle`` milliseconds.\n    * \"mouseup\": the callback will be executed only once when the slider is released.\n\n    The \"mouseup\" policy is intended for scenarios in which the callback is expensive in time.\n    \"\"\")\n\n    bar_color = Color(default=\"#3fb8af\", help=\"\"\"\n    \"\"\")\n\nclass Slider(AbstractSlider):\n    \"\"\" Slider-based number selection widget. \"\"\"\n\n    start = Float(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Float(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    value = Float(help=\"\"\"\n    Initial or selected value.\n    \"\"\")\n\n    step = Float(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"0[.]00\")\n\nclass RangeSlider(AbstractSlider):\n    \"\"\" Range-slider based number range selection widget. \"\"\"\n\n    value = Tuple(Float, Float, help=\"\"\"\n    Initial or selected range.\n    \"\"\")\n\n    start = Float(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Float(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    step = Float(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"0[.]00\")\n\nclass DateSlider(AbstractSlider):\n    \"\"\" Slider-based date selection widget. \"\"\"\n\n    value = Date(help=\"\"\"\n    Initial or selected value.\n    \"\"\")\n\n    start = Date(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Date(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    step = Int(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"%d %b %G\")\n\nclass DateRangeSlider(AbstractSlider):\n    \"\"\" Slider-based date range selection widget. \"\"\"\n\n    value = Tuple(Date, Date, help=\"\"\"\n    Initial or selected range.\n    \"\"\")\n\n    start = Date(help=\"\"\"\n    The minimum allowable value.\n    \"\"\")\n\n    end = Date(help=\"\"\"\n    The maximum allowable value.\n    \"\"\")\n\n    step = Int(default=1, help=\"\"\"\n    The step between consecutive values.\n    \"\"\")\n\n    format = Override(default=\"%d %b %G\")\n", "path": "bokeh/models/widgets/sliders.py"}]}