ctan package update: trivfloat