Changed the output of SmvQuarter to Int