Silly bug fix
Silly bug fix

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

DmitryOlshansky/dsmith,DmitryOlshansky/dsmith,Panos90/csmith,jacekburys/csmith,jacekburys/csmith,Panos90/csmith,natgla/csmith,DmitryOlshansky/dsmith,Panos90/csmith,natgla/csmith,jacekburys/csmith,natgla/csmith,DmitryOlshansky/dsmith,jacekburys/csmith,natgla/csmith,Panos90/csmith,jacekburys/csmith