diff --git a/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model b/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model
index a13a38b..3f8df85 100644
--- a/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model
+++ b/AlgebraicDataflowArchitectureModel/models/WeatherObservationSystem.model
@@ -1,11 +1,11 @@
 channel CIO {
-	out temp_f(p:Int, observe(x)) == x
+	out temp_f(p:Double, observe(x)) == x
 }
 channel C1{
-	in  temp_f(q:Int, conversion(y)) == y
-	out temp_c(r:Int, conversion(z)) == (z-32) / 1.8
+	in  temp_f(q:Double, conversion(y)) == y
+	out temp_c(r:Double, conversion(z)) == (z-32) / 1.8
 }
 channel C2{
-	in temp_f(q:Int, update(y)) == y
-	out highest(r:Int, update(z)) == if(gt(z, r), z, r)
+	in temp_f(q:Double, update(y)) == y
+	out highest(r:Double, update(z)) == if(gt(z, r), z, r)
 }
\ No newline at end of file