digit( 100 ) ; print( 1.0 / 3.0 ) ;