[math-fun] The Hippasus Integers