Put ceil on timer counter value and passed it to uint32