add tb_p2u64 cast