//
// example using DecimalFormat class to format numbers for printing
//      in "fixed width" and "varying width" format
//

import java.text.DecimalFormat ;

public class TestDecimalFormat {
        
        public static void main(String[] args) {

                // build DecimalFormat objects: 
                // format df1 is nnnn.dd with 0 fill (fixed width)
                // format df2 is nnnn.dd with no fill (varying width)
                DecimalFormat df1 = new DecimalFormat("0000.00") ;
                DecimalFormat df2 = new DecimalFormat("###0.0#") ;

                double num ;

                while (true) {
                        System.out.println("Enter number to format " +
                                "(0 to end)") ;
                        num = Input.readDouble() ;
                        if (num == 0.0) break ;

                        // format and print
                        System.out.println(
                                "Using DecimalFormat(\"0000.00\"):  " +
                                df1.format(num)) ;
                        System.out.println(
                                "Using DecimalFormat(\"###0.0#\"):  " +
                                df2.format(num)) ;
                        System.out.println(
                                "Using default format:  " + num) ;
                } 
        }
}