CTAN update: trivfloat