RealInterval why a better result is impossible

A very condensed explanation why a better result is not possible without further info:

r:=b result first.
(c block value:  (IntervalBox  with: (r inf successor)))asNumber.
" 1.0000000000000018" 
(c block value:  (IntervalBox  with: (RealInterval fromNumber: r sup )))asNumber.
" 1.000000000000007" 
"but:"
c block value: (IntervalBox  with:(RealInterval inf: r inf successor sup: r sup)).
"[0.9999999999999982,1.0000000000000107]" 

Well ok, probably one needs to think for several seconds, to see why this is an explanation, but at the moment i don't want to delve further into this.

Back to Examples