We will likely not discuss these constructions here, but will use a more modern just one developed by Gabriel Stolzenberg, depending on "interval arithmetic." DigitalRossDigitalRoss 147k2525 gold badges254254 silver badges335335 bronze badges Insert a remark   If you simply did CR, you would've a lot of people on top of https://luxuryresidentialproject.wordpress.com/