( 1 jmadam (John M. Adams)/ Source-file recording, (compile-file ) 7/11 ) ( 2 Steve Haflich / Re: Changing printing format for float 7/7 ) ( 3 Kai Yue / Changing printing format for float 7/7 )