I think it's just not showing two leading zeros in 0x7fff0d065098.