Updating: tidying up libfloats/test_LUPdec.dats