void main() {
    IO.println((int) 3.9);
    IO.println((double) 5);
}

// From Groundwork, chapter 2 (ch02-variables-and-types), box 11.
// This example is from Groundwork, licensed CC BY-NC-SA 4.0.
// Run with: java ch02_11.java