Synonyms for real_number