Comment by shawntan

You can't really be blamed though, the language in the paper does seem to state what you originally said. Might be a matter of taste but I don't think it's quite accurate.

The prior work they referenced actually did account for finite precision cases and why they didn't think it was useful to prove the result with those premises.

In this work they simply argued from their own perspective why finite precision made more sense.

The whole sub-field is kinda messy and I get quoted differing results all the time.

Edit: Also, your original point stands, obviously. Sorry for nitpicking on your post, but I also just thought people should know more about the nuances of this stuff.