Fixed a bug in the "disable_halffloat" option
Merge pull request #96 from myui/hotfixes

Fixed a bug in the "disable_halffloat" option