Все предельно просто. Надо в настройках regional Settings>Numbers поставить в качестве десятичного разделителя точку с цифровой (т.наз. серой) клавиатуры. И все будет работать. И набор с клавиатуры дробных значений, и выбор их из AI-шного списка в палитре Stroke. Да и во всех случаях, где раньше программы ругались на ввод дробных чисел.
Если патч и нужен, то разве только если он действительно решает проблему работы со шрифтами.