bit more of exp_to_Cexp_correct