Here is a strange behavior. I can understand that an integer and its float could be considered different, but the behavior should be the same in or out of a list. In addition it should not depend on the number of trailing zeros. In addition it should not depend on whether the integer is zero or not.

if 1.000000000=1 then good else bad end if;
                                    good
if [1.000000000]=[1] then good else bad end if;
                                     bad
if 1.000000000=1.00 then good else bad end if;
                                    good
if [1.000000000]=[1.00] then good else bad end if;
                                     bad
if [1.000000000]=[1.000000000] then good else bad end if;
                                    good
if 0.000000000=0 then good else bad end if;
                                    good
if [0.000000000]=[0] then good else bad end if;
                                     bad
if 0.000000000=0.00 then good else bad end if;
                                    good
if [0.000000000]=[0.00] then good else bad end if;
                                    good
if [0.000000000]=[0.000000000] then good else bad end if;
                                    good
Any comments?

Phil