| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
All On 9 Jan 2015, at 16:37, Michel Hack <mhack@xxxxxxx> wrote: > I agree that Definition 3.2.55 of "roundoff unit" should simply be dropped, > because (a) as defined, it is absolute and only applies to the value 1.0 > (which is in fact what is used in the two examples), and (b) I think the > meaning is clear in the context of those examples. That looks a good idea. John Pryce