def Short.finite
import bend-kit-fmt@0.1.0.0/fmt.bend as Fmtimport Base
423def Short.finite(+ex: U32, +mant: U32) -> String:
424 Short.finite.go(U32.or(mant, U32.shln(U32.min(ex, 1), 23n)), U32.max(ex, 1),
425 Short.edge(Bool.and(U32.is_zero(mant), U32.is_gt(ex, 1))))