Improving plane, perhaps replacing apfloat by CLN