Text this: Semialgebraic groups over real closed fields