Hi Frank,
Thanks for checking things over but that is actually not a bug. Ansi C allows the ++ operator to work with any scalar type which includes floating point. We do this somtimes intentionally because on KFLOP's DSP adding one to a floating point number can be performed simpler and faster than incrementing an integer and then converting it to floating point.
Regards,