Recording a new Fibonacci number: 4.534512E+134.