[PPL-devel] [GIT] ppl/ppl(master): Let is_inf_float() return a Boolean value, rather than an integer.