real.conditionally_complete_linear_order source