Delete boolean_double.js