1real r3 = 32'h00000000 | 32'h10101010;
2reg[31:0] r1 = 269488144.00;
3reg[63:0] r2;
4initial begin
5  r2[31:0] = r3;
6  $write(r1);
7  $write(r2);
8  $finish;
9end
10