Version 4.25 float comparison bug

Our team downloaded the latest version of ROBOTC (Version 4.25) and found this compiler bug:

task main()
{
    float negnum, num;
    negnum = -1.0;
    num = 1.0;
    if (negnum > num) {
    	writeDebugStreamLine("negative one is greater than one!!");
  }
}

It always hits the debug line above!

Has anyone else encountered this and is there a patch?

I contacted ROBOTC support and they told me that release 4.26 fixes this bug. I’ve downloaded this version and verified that indeed this bug is fixed.