add float_t and double_t to math.h