Replace float_t and double_t by float and double