[electric]: txid is a 32 bit number so we don't need to stringify it

[KyleAMathews]

I'd thought it was a 64-bit number — which is larger than JS supports (other than bigint) but as it turns out, it's not. So let's just use numbers everywhere.