diff --git a/prototyping/Examples/SmokeTest.lua b/prototyping/Examples/SmokeTest.lua
index 11ca25ca..fc3fcb47 100644
--- a/prototyping/Examples/SmokeTest.lua
+++ b/prototyping/Examples/SmokeTest.lua
@@ -15,5 +15,5 @@ local b : nil = nil
 local c : (nil) -> nil = nil
 local d : (any & nil) = nil
 local e : any? = nil
-local f = 123
+local f = 123.0
 return id2(nil2)