[db] format a DbTid without going through chars

96dc9a61 parent dcee55b7 +6 −11
browse files