message: Not an error to fdiv by zero
diff: @@ -3,8 +3,9 @@ Floating Point
  Bril has an extension for computing on floating-point numbers.
  -You can read [more about the extension][fpblog], which is originally by Dietrich Geisler and originally included two FP precision levels.
  +You can read [more about the extension][fpblog], which is originally by [Dietrich Geisler][dietrich] and originally included two FP precision levels.
  +[dietrich]: https://www.cs.cornell.edu/~dgeisler/
  [fpblog]: https://www.cs.cornell.edu/courses/cs6120/2019fa/blog/floats-static-arrays/
  Types
  @@ -14,9 +15,11 @@ The floating point extension adds one new base type:
  "float"
  -Floating point numbers are 64-bit, double-precision IEEE 754 values.
  +Floating point numbers are 64-bit, double-precision [IEEE 754][] values.
  (There is no single-precision type.)
  +[IEEE 754]: https://en.wikipedia.org/wiki/IEEE_754
  +
  Operations
  ----------
  @@ -27,6 +30,8 @@ There are the standard arithmetic operations, which take two `float` values and
  - `fsub`
  - `fdiv`
  +It is not an error to `fdiv` by zero; as in IEEE 754, the result is infinity.
  +
  There are also comparison operators, which take two `float` values and produce a `bool`:
  - `feq`
  