1 DEFAULT 1 ( 1.1+ , 1.1 case_value 1.1 low_case_value : high_case_value 1.1 low_case_value : 1.1 : high_case_value 1.2 )