Recording a new Fibonacci number: 1.732030E+134.