Delete NumDouble.java