cast to int

app.py

@@ -45,10 +45,10 @@ with gr.Blocks(title="Interactive Wave Plotter") as demo:
     
     with gr.Row():
         frequency_slider = gr.Slider(
-            minimum=unique_domain_lengths.min(), 
-            maximum=unique_domain_lengths.max(), 
+            minimum=int(unique_domain_lengths.min()), 
+            maximum=int(unique_domain_lengths.max()), 
             step=1, 
-            value=unique_domain_lengths.min(), 
+            value=int(unique_domain_lengths.min()), 
             label="Min number of domains"
         )
     
@@ -86,5 +86,5 @@ with gr.Blocks(title="Interactive Wave Plotter") as demo:
 
 
 print(f"Launching!...")
-demo.launch(ssr=False)
+demo.launch()
 # demo.load(filter_map, [min_price, max_price, boroughs], map)