            1. If _y_ is *0*<sub>ℤ</sub>, throw a *RangeError* exception.
            1. Let _quotient_ be ℝ(_x_) / ℝ(_y_).
            1. Return the BigInt value that represents _quotient_ rounded towards 0 to the next integer value.