[PPL-devel] [GIT] ppl/ppl(floating_point): Removed spurious occurrence of a closing comment, preventing compilation.