[math-fun] House numbers ...