conditionally_complete_linear_ordered_field source