SMS: Constructive real analysis