Delete NumFloat.java