Optimizations for the pure-Lux JVM compiler. [Part 4]

1 files changed, 14 insertions, 13 deletions

diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md
index bdc3d3bb9..373dc13f9 100644
--- a/documentation/bookmark/floating_point.md
+++ b/documentation/bookmark/floating_point.md
@@ -1,37 +1,38 @@
 # Precision
 
-1. [Accuracy of Mathematical Functions in Single, Double, Double Extended, and Quadruple Precision](https://members.loria.fr/PZimmermann/papers/accuracy.pdf)
-1. [Supporting half-precision floats is really annoying](https://futhark-lang.org/blog/2021-08-05-half-precision-floats.html)
+0. [Calcium](https://fredrikj.net/calcium/)
+0. [Accuracy of Mathematical Functions in Single, Double, Double Extended, and Quadruple Precision](https://members.loria.fr/PZimmermann/papers/accuracy.pdf)
+0. [Supporting half-precision floats is really annoying](https://futhark-lang.org/blog/2021-08-05-half-precision-floats.html)
 
 # Debugging
 
-1. [Keynote: William Kahan - Debugging Tools for Floating-Point Code](https://www.youtube.com/watch?v=qHddEkfQBrA)
+0. [Keynote: William Kahan - Debugging Tools for Floating-Point Code](https://www.youtube.com/watch?v=qHddEkfQBrA)
 
 # Comparison
 
-1. [Approximate Equality for Floating Point](https://github.com/apple/swift-evolution/blob/master/proposals/0259-approximately-equal.md)
+0. [Approximate Equality for Floating Point](https://github.com/apple/swift-evolution/blob/master/proposals/0259-approximately-equal.md)
 
 # Random generation
 
-1. [Drawing random floating-point numbers from an interval](https://hal.archives-ouvertes.fr/hal-03282794/document)
-1. [Uniform random floats:  How to generate a double-precision floating-point number in [0, 1] uniformly at random given a uniform random source of bits](https://mumble.net/~campbell/2014/04/28/uniform-random-float)
+0. [Drawing random floating-point numbers from an interval](https://hal.archives-ouvertes.fr/hal-03282794/document)
+0. [Uniform random floats:  How to generate a double-precision floating-point number in [0, 1] uniformly at random given a uniform random source of bits](https://mumble.net/~campbell/2014/04/28/uniform-random-float)
 
 # Correctness
 
-1. [Floating point expression inspector](https://github.com/graphitemaster/fpinspect)
-1. [Herbie: Find and fix floating-point problems.](https://herbie.uwplse.org/)
+0. [Floating point expression inspector](https://github.com/graphitemaster/fpinspect)
+0. [Herbie: Find and fix floating-point problems.](https://herbie.uwplse.org/)
 
 # Format
 
-1. [decimal128 floating-point format](https://en.wikipedia.org/wiki/Decimal128_floating-point_format)
+0. [decimal128 floating-point format](https://en.wikipedia.org/wiki/Decimal128_floating-point_format)
 
 # Reference
 
-1. [How Java’s Floating-Point Hurts Everyone Everywhere](https://people.eecs.berkeley.edu/~wkahan/JAVAhurt.pdf)
-1. [What aspect of portable floating point did Java back down on?](https://retrocomputing.stackexchange.com/questions/18143/what-aspect-of-portable-floating-point-did-java-back-down-on)
+0. [How Java’s Floating-Point Hurts Everyone Everywhere](https://people.eecs.berkeley.edu/~wkahan/JAVAhurt.pdf)
+0. [What aspect of portable floating point did Java back down on?](https://retrocomputing.stackexchange.com/questions/18143/what-aspect-of-portable-floating-point-did-java-back-down-on)
 
 # Algorithm
 
-1. [Speeding up atan2f by 50x](https://mazzo.li/posts/vectorized-atan2.html)
-1. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)
+0. [Speeding up atan2f by 50x](https://mazzo.li/posts/vectorized-atan2.html)
+0. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)