147     expectNaN($opt$Mul(0D, Double.POSITIVE_INFINITY));  in mulDouble()
148     expectNaN($opt$Mul(0D, Double.NEGATIVE_INFINITY));  in mulDouble()
149     expectNaN($opt$Mul(Double.NaN, 11D));  in mulDouble()
150     expectNaN($opt$Mul(Double.NaN, -11D));  in mulDouble()
151     expectNaN($opt$Mul(Double.NaN, Double.NEGATIVE_INFINITY));  in mulDouble()
152     expectNaN($opt$Mul(Double.NaN, Double.POSITIVE_INFINITY));  in mulDouble()
154     expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(2D, 1.79769313486231570e+308));  in mulDouble()
155     expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(2D, Double.POSITIVE_INFINITY));  in mulDouble()
156     expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(-2D, Double.POSITIVE_INFINITY));  in mulDouble()
157     expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(-2D, 1.79769313486231570e+308));  in mulDouble()
158     expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(2D, Double.NEGATIVE_INFINITY));  in mulDouble()
159     expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(-2D, Double.NEGATIVE_INFINITY));  in mulDouble()
160 …expectEquals(Double.NEGATIVE_INFINITY, $opt$Mul(Double.POSITIVE_INFINITY, Double.NEGATIVE_INFINITY…  in mulDouble()
161 …expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(Double.POSITIVE_INFINITY, Double.POSITIVE_INFINITY…  in mulDouble()
162 …expectEquals(Double.POSITIVE_INFINITY, $opt$Mul(Double.NEGATIVE_INFINITY, Double.NEGATIVE_INFINITY…  in mulDouble()