import java.io.*;

class BadFloatTest {
    public static void main(String[] args)
           throws FileNotFoundException, IOException {
        float x = 1.2345f;
        double y = 9.8765;

        File inputFile = new File("example");
        
        System.out.println(x + " " + y);
    }   
}

/* Expected Output:
1.2345 9.8765
*/

import java.io.*;

class BadFloatTest {
    public static void main(String[] args)
           throws FileNotFoundException, IOException {
        float x = 1.2545f;
        double y = 9.8544;

        File inputFile = new File("example");
        
        System.out.println(x + " " + y);
    }   
}

/* Expected Output:
1.2545 9.8544
*/

Adjust test for new float/double printing routines.
Adjust test for new float/double printing routines.
