Fix import operator_/operator in constant folding

I don't know why it's needed, but it was present in the old code...