bigFloat delta = 0.5
bigFloat total = 0.0
while total < 1.0:
total+=delta
delta*=0.5
Where does this fit in the model of using a loop invariant to show the loop terminates?
The loop is always approaching the terminal case (and eventually the machine runs out of memory)
