[Bug]: unreadable lines

let (r, exceptions) := if Is_Even (i) then FP::Arithmetic(FP_SUB, op1, op2, denormals_are_zeros, rounding_mode, flush_subnormals, mask_underflow) else FP::Arithmetic(FP_ADD, op1, op2, denormals_are_zeros, rounding_mode, flush_subnormals, mask_underflow);

This line is unreadable.
Too long and confusing.

No file or test is named; start by searching the repository for the exact FP::Arithmetic expression shown in the issue and read its surrounding specification context. Reformat the expression so it is readable without changing its behavior, then run the available validation for the affected specification.

Written by the indexing model from the issue text.