Decimal printout of a BN is wrong on PPC, it's sparse with very few

significant digits. As soon it verifies elsewhere it goes to 0.9.8 and
0.9.7.