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