name trivfloat