Johansson, 2020. Calcium: computing in exact real and complex fields.