type Val
import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Formatimport Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin
20type Val is Data:
21 Z{neg: Bool}
22 Inf{neg: Bool}
23 NaN{}
24 Fin{neg: Bool, m: Bin.Bin, e: Nat}