const inf_u128 = @compileError("Deprecated: use `@bitCast(u128, inf(f128))` instead");