[PPL-devel] [GIT] ppl/ppl(floating_point): Always use marked_empty() instead of is_empty() after