4 ms·

This is a nice article: https://aperiodical.com/2022/03/now-im-calculating-with-constructive-reals/ https://aperiodical.com/2022/03/now-im-calculating-with-con