[PPL-devel] [GIT] ppl/ppl(floating_point): Renamed float_IBM_single and float_IBM_double lowering the case for IBM.