comments added in IEEE_float.py