Floating-point arithmetic. (20th May 2020)