# Random generation

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)

# Correctness

1. [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)

# Reference

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)

# Algorithm

1. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)