my $u = string_to_uint64('0xff00_0000_0000_0000');
my $nv = uint64_to_number($u);
print "nv $nv u $u \n\n";