есть. примитивно - касательную с конечной точностью можно провести
к любой гладкой функции. снижение разрядности ничем не ломает такое
доказательство. любые наборы входных данных - это уже совсем другая
тема, безотносительно точности и формата вычислителя.