added floating point work file