Improvements to ieee.js file