CTAN package update: trivfloat