def val.int64
import bendonnect-rpc@0.1.0.0/src/pbjson.bend as Pbjsonimport Base
import bend-kit-json@0.6.1.1/json.bend as Json
import bend-kit-protobuf@0.1.0.0/protobuf.bend as Pb
import bendonnect-rpc@0.1.0.0/src/pb.bend as Pbr
67# 64-bit integers are quoted decimal strings.
68def val.int64(+w: Pb.Word64) -> Json.Val:
69 str(Pbr.word64.show_s(w))