On Tue, Oct 7, 2008 at 4:53 PM, Raymond Toy <raymond.toy at ericsson.com>wrote: > Stavros Macrakis wrote: > > That is not the bad case that was reported (though it is another bad > case). > > Also, should we round the printed result? > > fpprec:16; > fpprintprec:4; > 1.56789b0 -> 1.567b0 > Yes, the correct result here would be 1.568b0. -s