Recording a new Fibonacci number: 4.088767E+133.