この規則を満足しない特別な場合が一つだけ存在する。あるならば,整数オーバフローが発生し,その結果はその被除数と同じとする。オーバフローにもかかわらず,この場合は例外は投げられない。浮動小数点の除算の結果は,IEEE算術の規定によって次のように決定される。どちらかのオぺランドがNaNであるならば,その結果はNaNとする。その結果がNaNでないならば,両方のオぺランドが同じ符号をもてば,その結果の符号は正であり,両方のオぺランドが異なる符号をもてば,その結果の符号は負とする。無限大による無限大の除算の結果はNaNとする。有限値による無限大の除算の結果は符号付き無限大とする。その符合は上述の規則によって決定される。無限大による有限値の除算の結果は符号付きゼロとする。その符号は上述の規則によって決定される。ゼロによるゼロの除算の結果はNaNとする。ゼロ以外の有限値によるゼロの除算の結果は符号付きのゼロとする。その符合は上述の規則によって決定される。ゼロによるゼロ以外の有限値の除算の結果は,符号付き無限大とする。その符合は上述の規則によって決定する。その他の場合に,無限大及びNaNを含まなければ,正確な数学的な商を計算する。次のように選択される。あるならば,単精度数値集合が選択されねばならない。あるならば,倍精度数値集合が選択されねばならない。どちらを選択してもよい。どちらを選択してもよい。次に,値はその商を表現するために選択された数値集合から選択されねばならない。商の大きさが表現不可能なほど大きいならば,演算オーバフローと呼ぶ。その結果は適切な符合の無限大とする。商の大きさが表現不可能なほど小さいならば,演算アンダフローと呼ぶ。その結果は適切な符合のゼロとする。754の直近への丸めモードを使用して選択された数値集合の中の直近値に丸められる。(4.2.4)のサポートを要求する。評価は決して実行時例外を投げない。演算子は,暗黙の除算によってそのオぺランドの剰余を生成する。その左辺オぺランドは被除数であり,及びその右辺オぺランドは除数とする。C及びC++では,剰余演算子は整数的なオぺランドだけを受け入れるが,Javaプログラム言語では浮動小数点のオペランドも受け入れる。等しいように結果を生成する。0)である特別な場合においても成立する。この規則から,その剰余演算の結果は,その被除数が負である場合に限り負であり,その被除数が正である場合に限り正であることが求められる。その結果の大きさは常にその除数の大きさより小さい。754で定義された剰余演算によって生成される結果とは同じではない。754の剰余演算は,切り捨て除算ではなく,丸め除算によって計算し,及びその振舞いは通常の整数剰余演算子とは同じではない。