Use of extern in in the implementation of double floats from an external library

According to the various entries in the forum post describing the package 64 Bit float Emulator in C, IEEE754 compatibel - Mikrocontroller.net you can expect about 200 64-bit float divisions per second and about 1000 64-bit float multiplications on a 16 MHz ATmega.