Nonstandard analysis in ethics — LessWrong