ldbl-128ibm: make ieee754.h work with IEEE 128 long double