Function eval_float_arithmetic 

pub fn eval_float_arithmetic(
    op: BinaryOp,
    left: &Value,
    right: &Value,
    width: FloatWidth,
) -> Result<Value>

Apply arithmetic at its resolved float width before widening the storage carrier.