float_t changed to float_type