[math-fun] Irrational-base representation