Если вы знаете правильный перевод фразы «действительное число» на английский, то добавьте его в пользовательский словарь.