W3School TIY Editor

public class Main { public static void main(String[] args) { System.out.println(Math.nextDown(1.0f)); System.out.println(Math.nextDown(1.0)); System.out.println(Math.nextDown(0.5f)); System.out.println(Math.nextDown(0.5)); System.out.println(Math.nextDown(Math.PI)); System.out.println(Math.nextDown(3.1415927f)); } }