History sysdeps/ieee754/dbl-64/usncs.h