Fixed a bug in the "disable_halffloat" option