Prelude: Export Fay. Export fromInteger. Drop CPP, no longer needed.