Base · base.bend:1909
import Base
1909def F32.from_nat(n: Nat) -> F32: 1910 U32.to_f32(U32.from_nat(n))