Recording a new Fibonacci number: 6.380823E+128.