QL spec: Fix up pre-BigInt language

docs/codeql/ql-language-reference/expressions.rst

@@ -731,7 +731,7 @@ You can use the following binary operators in QL:
 +------------------------+--------+
 
 If both expressions are numbers, these operators act as standard arithmetic operators. For 
-example, ``10.6 - 3.2`` has value ``7.4``, ``123.456 * 0`` has value ``0``, and ``9 % 4`` has 
+example, ``10.6 - 3.2`` has value ``7.4``, ``123.456 * 0`` has value ``0.0``, and ``9 % 4`` has 
 value ``1`` (the remainder after dividing ``9`` by ``4``).
 If both operands are integers, then the result is an integer. Otherwise the result is a 
 floating-point number.

docs/codeql/ql-language-reference/name-resolution.rst

@@ -305,6 +305,7 @@ were defined in the :ref:`QL tutorials <ql-tutorials>`:
 The module namespace of ``Villagers`` has entries for: 
     - The module ``S``.
     - Any modules exported by ``tutorial``.
+    - The built-in top-level module ``QlBuiltins``.
 
 The module namespace of ``S`` also has entries for the module ``S`` itself, and for any 
 modules exported by ``tutorial``.

docs/codeql/ql-language-reference/ql-language-specification.rst

@@ -718,7 +718,7 @@ An integer literal is a possibly negated sequence of decimal digits (``0`` throu
 Float literals (float)
 ~~~~~~~~~~~~~~~~~~~~~~
 
-A floating-point literals is a possibly negated two non-negative integers literals separated by a dot (``.``, U+002E). Here are some examples of float literals:
+A floating-point literal is a possibly negated pair of non-negative integer literals separated by a dot (``.``, U+002E). Here are some examples of float literals:
 
 ::