Myths About Floating-Point Numbers (2021)