Нет, я про дедекиндовы сечения (Dedekind cut).
Десятичные дроби тоже можно, проблема только в том, что там есть разные с одинаковыми суммами. Мне кажется, в 2006 году на первом курсе в НМУ вводили как-то так, кстати.
Но мой пойнт в том, что действительные числа это просто такая не-insightful ерунда, на которую приходится тратить первые несколько часов, а собственно анализ начинается потом.