mixed_integer_float_comparison.