Implement floating-point ldd.