Project proposal: Complex numbers — LessWrong