nx_probe_float.nx source
↩ module page · 14 lines · 503 B
1// nx_probe_float.nx -- EVIDENCE GATE for the disputed "no native f32/f64,
2// PARKED" claim. Compiles real f64 arithmetic + comparison through the
3// SOVEREIGN chain. If run-exit=0, f64 WORKS sovereignly. (numeric.nx
4// already uses f64 for Kahan/Dekker; this is an independent fresh check.)
5// expect_exit: 0
6
7func main() -> i64 {
8 let a: f64 = 1.5
9 let b: f64 = 1.5
10 let s: f64 = a + b // 3.0, exactly representable
11 let three: f64 = 3.0
12 if s == three { return 0 }
13 return 1
14}