removed number_extensions.js file