fix bug: IEEE floats