def val.sint64
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
71def val.sint64(+w: Pb.Word64) -> Json.Val:
72 str(Pbr.word64.show_s(w))