Division by zero and Illegal Behavior

[jbe]

@mnemnion

Division by 0 is well-defined with floats.

If that is true, I’d be happy.

Just still wondering about:

@jbe

std.debug.print("{}\n", .{1.0 / 0.0});
⇒ error: division by zero here causes illegal behavior

And also, I think the documentation could maybe a bit more clear that with “division by zero”, only integer division is meant.

Edit: Apparently @as(f64, 1.0) / @as(f64, 0.0) gives inf, so maybe that’s a comptime_float thing?