some problems of IEEE 754 floating point