packed/big_endian.h: a small fix in unpack_float