Retagging real number problems