[spaces.raciarthomas.pdelab] work around a bug in FloatCmp