id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
1004	inf is a number in TOL on linux	Jorge	Jorge	"{{{inf}}} is considered a number in TOL when running on linux but not when running on windows.

The following code:

{{{
Real {
  WriteLn(""inf=""<<inf);
  Real inf = 2;
  Real b = 3;
  If(inf<b, WriteLn(""2 < 3""),WriteLn(""2 > 3"") );
  inf
};
}}}

will output:

 - on linux: {{{2>3}}}
 - on windows: {{{2<3}}}
"	defect	closed	high	Mantainance	Kernel		critical	fixed		scanner constant