Как можно определить свободное значение?

Чтобы определить, сколько раз необходимо прибавить 0.001 к заданному числу 10, чтобы найти первое свободное значение, которое отсутствует в таблице, можно использовать простой подход: начать с 10 и поочередно добавлять 0.001, пока не найдется значение, отсутствующее в столбце `number`.

В вашем примере список занятых значений выглядит следующим образом:

```
10.000
10.001
10.002
10.003
10.005
```

Первое свободное значение, начиная с 10.000, будет 10.004, так как оно отсутствует в списке.

Теперь, чтобы составить SQL запрос для нахождения первого свободного значения, вы можете использовать подзапрос или CTE (Common Table Expression) для проверки наличия значений в таблице.

Пример SQL-запроса может выглядеть так:

```sql
WITH RECURSIVE numbers AS (
    SELECT 10.000 AS number
    UNION ALL
    SELECT number + 0.001
    FROM numbers
    WHERE number < 20 -- ограничиваем диапазон, например, до 20
)
SELECT MIN(number) AS first_free_value
FROM numbers
WHERE number NOT IN (SELECT number FROM your_table);
```

В этом запросе:
- Мы создаем рекурсивный CTE, который начинает с 10.000 и добавляет 0.001 на каждой итерации.
- Мы выбираем минимальное значение из сгенерированных чисел, которое не присутствует в столбце `number` вашей таблицы (замените `your_table` на актуальное название вашей таблицы).

Этот запрос будет возвращать первое свободное значение, начиная с 10.000. Вы можете настроить диапазон для генерации значений в CTE по необходимости.

Предполагая, что тип данных поля - DECIMAL(xx, 3): 
 
SELECT MIN(value) + 0.001
FROM test t1
WHERE NOT EXISTS (
  SELECT NULL
  FROM test t2
  WHERE t1.value = t2.value - 0.001
  );
 
 
 https://dbfiddle.uk/9Yyi-pol 
 
 PS. Возвращаемое значение не может быть меньше минимального из уже имеющихся в таблице.

WITH RECURSIVE
-- Тестовая выборка. Если есть "живая" таблица, то эту выборку можно убрать  
 t as (select 10.000 value union
           select 10.001 union
           select 10.002 union
           select 10.003 union
           select 10.005 union
           select 10.009 -- специально добавил контр. пример
          ),
-- Таблица-генератор последовательности чисел от min(t.value) до max(t.value) с шагом 0.001 с помощью CTE (есть ограничение по глубине рекурсии!)
num_series AS (
  SELECT (select min(value) from t)  AS num
  UNION ALL
  SELECT num + 0.001 FROM num_series
   WHERE num < (select max(value) from t)
)
-- Запрос, в котором сопоставляем таблицу генератор и исходную таблицу, чтобы найти недостающие кванты
SELECT * 
  FROM num_series
 where not exists(select t.value from t where t.value = num_series.num)
     and num_series.num >= 10.000
 
 PS: Нужен MySQL 8 версии и выше, postgres, или СУБД из интерпрайзного сегмента.