If neither operand is known integer, or either is in double representation, then at least use a function call (don't bail off the speculative path).
Created attachment 98968 [details] The patch
Fixed in r89957