Java tutorial
public class MainClass { public static void main(String args[]) { System.out.printf("Default floating-point format: %f\n", 1234567.123); } } //Default floating-point format: 1234567.123000