def val.double

import bendonnect-rpc@0.1.0.0/src/pbjson.bend as Pbjson

import Base
import bend-kit-json@0.6.1.1/json.bend as Json

46def val.double(+f: F32) -> Json.Val:
47  f32.fin(f32.kind(F32.bits(f)), f)

Uses (5)