Looks like Java would want: https://en.wikipedia.org/wiki/Octuple-precision_floating-point_format As a sequence I guess this gives A176449 a(n) = 9*2^n - 2. But this is speculation. Peter