Dear Pavel,

Thanks for your quick reply.

You did not miss something. 

I was just looking for a way 

to declare octuple precision, 

so that anyone can reproduce 

my results. The features of 

mp.Digits(71) seems sufficient 

for me.