广义实数系统

extended real number system