const f80_toint = @compileError("Deprecated: use `1.0 / floatEps(f80)` instead");