Circle arithmetic with floating-point numbers.