About to fix serious bug in ieee754todec() in bclib.pl