def hard
import bend-lawful-stdlib@0.1.0.0/src/float/sf32.bend as Sf32import Base
import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Fmt
import bend-lawful-stdlib@0.1.0.0/src/float/num.bend as Num
145def hard() -> Num.Impl<F32>:
146 Num.Impl{Fmt.binary32(), decode, F32.add, F32.mul}