[frange] Convert float_binary_op_range_finish to sub-ranges

Use contains_zero_p to handle sub-ranges.

Tested on ppc64le Linux.

gcc/ChangeLog:

	* range-op-float.cc (float_binary_op_range_finish): Use
	contains_zero_p on lhs instead of inspecting the hull endpoints.