_(See [Naggum.Test/InstructionTests.fs](https://github.com/codingteam/naggum/pull/39/files#diff-ab898889c230e6089a5b9b875ee5191dR12).)_ We should try to write math (and possibly other) tests with FSCheck.