[minor] System-independent rep for infinities