1.4.1 Java Real Arithmetic