Added h5ex-d-sofloat.lisp.