Select Code to Download

my $x1 = $r << 32 | $t;
printf "\nThe value is 0x%x", $x1;   # 0x23400000345

use bigint; 

...
my $x1 = $r << 32 | $t;

print $x1->as_hex;