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))