And I apologize, but this was a tricky question that
we cannot really answer. We really have no way to
know what the error was. It could have been a
typo, an erroneous copy and paste operation, or even worse
a conceptual error. In case a developer did not know
what it means to double a number. Unfortunately though, the
developer is the only one who could actually answer this
question. So even though we cannot really answer this question,
having it help us think about how the
error is in fact related to human behavior.