Some more fixes with CompDouble