def val.fixed64
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
80def val.fixed64(+w: Pb.Word64) -> Json.Val:
81 str(Pbr.word64.show_u(w))