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