Hojun-Cho e28d6b2e9d lib/math: NAN/INF bits + flattened F64_EXPBIAS (#106 fold-1b) ...

Flattened from Hare's const struct instances per #129 cgen module-let-
init gap; NAN/INF expressed as `def NAN_BITS:u64 = 0x...;` and
`def INF_BITS:u64 = 0x...;` materialized via f64frombits(NAN_BITS) at
use-site. F64_EXPBIAS:int flattened from f64info.expbias (cite
ref/hare/math/floats.ha:117); floatinfo struct definition preserved for
γ-cleanup re-fold when #129 closes. F32_EXPBIAS deferred (option-ii:
stof.ha consumers reach f.expbias via struct-field only).

2026-05-26 19:19:48 +09:00

..

checked

lib/math: checked sat_subu* unsigned saturating subtract (#28)

2026-05-26 00:48:19 +09:00

random

toolchain+lib+test: Go-style package/import keywords (#18)

2026-05-18 18:25:36 +09:00

floats.ww

lib/math: NAN/INF bits + flattened F64_EXPBIAS (#106 fold-1b)

2026-05-26 19:19:48 +09:00

math.ww

toolchain+lib+test: Go-style package/import keywords (#18)

2026-05-18 18:25:36 +09:00