Conjunto dos números reais, IR