def float_parts
import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanningimport Base
47def float_parts(parts: Nat & Nat) -> F32:
48 (high,low) = parts
49 (F32.from_nat(high) * 4294967296.0 + F32.from_nat(low) : F32)
import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanningimport Base
47def float_parts(parts: Nat & Nat) -> F32:
48 (high,low) = parts
49 (F32.from_nat(high) * 4294967296.0 + F32.from_nat(low) : F32)