History

for article: Double-precision floating-point format