Field structure of rational numbers — LessWrong