RE: [math-fun] Irrational-base representation