process_token(double) for ordered_tee