Text this: Combining decision procedures for the reals