Silly bug fix

include float.h and math.h when floating point support is enabled