Shameless plug about IEEE 754 round-off errors: https://yurichev.com/news/20210131_IEEE_754/