../ README 24-Apr-2009 07:06 504 trivfloat.dtx 24-Apr-2009 07:06 22925 trivfloat.ins 24-Apr-2009 07:06 2225 trivfloat.pdf 24-Apr-2009 04:50 144328