There were misunderstandings concerning overflowing operations and overflowed variables. Hopefully it's clearer now.