add ST*SMF to SMF class. Add 'int'*SMF in the Symbolic Calculator