Convert frame counter to 32 bit