$packed = pack 'd', '7ff0000000000001';
$d = unpack 'h16', $packed;