Что такое десятичная дробь?

1) любая дробь
2) числовое значение, которое представлено с использованием десятичной системы счисления
3) числовое значение, которое содержит десятичную точку
4) числовое значение, которое представлено с использованием десятичной системы счисления и содержит десятичную точку