[ADD numreal AO LEX]