History doc/ieee754.rst