Email Record: Constructive real analysis /