let compute_const_ff operator n1 n2 =
    if is_floating_arithmetic_operator operator then
        CTTexpConstant (CTTconstFloat (get_operator_fa n1 n2 operator))
    else
        CTTexpConstant (CTTconstInteger (get_operator_fc n1 n2 operator))