Timer: formatting casted int time received from double timeElapsedInSeconds.