More precision changes. Now example 8.4 returns the correct result