diff --git a/spec.html b/spec.html
index 4261021faf..d79d6efc53 100644
--- a/spec.html
+++ b/spec.html
@@ -14248,7 +14248,7 @@ <h1>Static Semantics: NumericValue</h1>
         </emu-alg>
         <emu-grammar>NumericLiteral :: NonDecimalIntegerLiteral</emu-grammar>
         <emu-alg>
-          1. Return RoundMVResult(MV of |NonDecimalIntegerLiteral|).
+          1. Return 𝔽(MV of |NonDecimalIntegerLiteral|).
         </emu-alg>
         <emu-grammar>NumericLiteral :: NonDecimalIntegerLiteral BigIntLiteralSuffix</emu-grammar>
         <emu-alg>