my $u = string_to_uint64('0xff00_0000_0000_0000');
my $nv = uint64_to_number($u);