No, the bug probably has to do with the truncation when you have odd clock frequency
should be any easy fix (actually there are two bugs one serious (repeated truncation) one minor/cosmetic
(the skew should not be re-written every encoder control reg update)