`if (exp->isConst() && exp->type->isreal())` ?