That section is talking about typing. In that sense, a typed constant obeys all the [type] rules of typed values in Go. It's true that dividing by zero is diff

That section is talking about typing. In that sense, a typed constant obeys all the [type] rules of typed values in Go. It's true that dividing by zero is different, but there's lots of other more obvious ones, such as a typed value being assignable (and usually addressable).