…num-expr… - …num-expr…
num1, num2 -> signed(largest(num1, num2))
Subtracts two numeric values.
The result type is the largest of the operand types, and always signed.