[math-fun] a fraction for .000100040009001600250036... (which?)