Fixed bugs of decode_float()
Fixed a bug of encode_float() for infinite numbers.
Fix decode_float() for denormal number.
Minor fix
Fixed a bug of encode_float() for denormal number.