def number.default
import gralha-text-scan@0.1.0.1/scan.bend as Scanimport Base
211def number.default(num: Number, fallback: F32) -> F32:
212 Number{x, t, valid} = num
213 choose(F32, valid, x, fallback)
import gralha-text-scan@0.1.0.1/scan.bend as Scanimport Base
211def number.default(num: Number, fallback: F32) -> F32:
212 Number{x, t, valid} = num
213 choose(F32, valid, x, fallback)