\indexentry{function|hyperpage}{1} \indexentry{real!numbers|hyperpage}{1} \indexentry{numbers!real|hyperpage}{1}