Element 'general real number (mathematics)'