<Divide 7 ( e.1 ) >;