[L2] float a = 0.5; VAL [a=0.5] [L3] float b = 1.0; VAL [a=0.5, b=1.0] [L4] float c = b / a; [L5] float d = 1.4142; [L6] float e = 16777217.0; VAL [e=16777216] [L7] float f = 16777216.0; VAL [e=16777216, f=16777216] [L8] float g = 0.0 / 0.0; VAL [e=16777216, f=16777216] [L9] float h = -1.0; VAL [e=16777216, f=16777216] [L10] float i = -1.4142; VAL [e=16777216, f=16777216] [L11] //@ assert (e != f);