likely_type_from_types now handles validFloatType logic