diff --git a/core/float.rbs b/core/float.rbs
index fab16137c..8a2f8e2ef 100644
--- a/core/float.rbs
+++ b/core/float.rbs
@@ -1078,6 +1078,8 @@ Float::EPSILON: Float
 #
 Float::INFINITY: Float
 
+Float::Infinity: Float
+
 # <!-- rdoc-file=numeric.c -->
 # The number of base digits for the `double` data type.
 #