これらは同じ優先順位をもち,構文的に左結合とする(左から右にグループ化する。UnaryExpression乗除演算子のオぺランドのそれぞれの型は,プリミティブ数値型でなければならない。なければ,コンパイル時エラーが発生する。そのオぺランドに対して,二項数値昇格が実行される(5.6.2)。乗除式の型は,そのオぺランドの昇格された型とする。あるならば,整数演算を実行する。あるならば,浮動小数点演算を実行する。二項数値昇格が,数値集合変換(5.1.8)を実行することに注意すること。演算子は乗算を実行し,そのオぺランドの積を生成する。オぺランドの式が副作用をもたないならば,乗算は可換的演算とする。オぺランドがすべて同じ型のとき,整数乗算は結合的であるが,浮動小数点乗算は結合的ではない。整数乗算がオーバフローしたならば,その結果は数学的な積を十分大きな2の補数形式で表現したときの低位ビットとする。その結果として,もしオーバフローが発生したならば,その結果の符号は二つのオぺランド値の数学的積の符号と同じでないかもしれない。754の算術の規則に従う。どちらかのオぺランドがNaNであるならば,その結果はNaNとする。その結果がNaNでないならば,両方のオぺランドが同じ符号であるならばその結果の符号を正とし,それらのオぺランドが異なる符号であるならばその結果の符号は負とする。無限大とゼロの乗算の結果はNaNとする。無限大と有限値の乗算の結果は,符号付き無限大とする。その符号は上述の規則によって決定する。その他の場合に,無限大及びNaNを含まなければ,正確な数学的な積を計算する。次のように選択される。あるならば,単精度数値集合が選択されねばならない。あるならば,倍精度数値集合が選択されねばならない。どちらを選択してもよい。どちらを選択してもよい。次に,値はその積を表現するために選択された数値集合から選択されねばならない。積の大きさが表現不可能なほど大きいならば,演算オーバフローと呼ぶ。その結果は適切な符号の無限大とする。積の大きさが表現不可能なほど小さいならば,演算アンダフローと呼ぶ。その結果は適切な符号のゼロとする。754の直近への丸めモードを使用して選択された数値集合の中の直近値に丸められる。よって定義された緩やかなアンダフロー(4.2.4)のサポートを要求する。実行時例外を投げない。演算子は除算を実行し,そのオぺランドの商を生成する。その左辺オぺランドは被除数であり,その右辺オぺランドは除数とする。