1initial begin
2  $write(17.0 == 17.00000);
3  $write(1e10 > 17.0);
4  $write(1.5e3 > 1.0143121);
5  $write(256'd17 == 17.0);
6  $write(17.0 == 16'd17);
7  $write(256'd17 <= 17.0);
8  $write(17.0 <= 16'd17);
9  $write(256'd16 < 17.0);
10  $write(16.0 < 16'd17);
11  $write(256'd16 <= 17.0);
12  $write(16.0 <= 16'd17);
13  $finish;
14end
15
16