convergents of 0.1001000000001000000000000000000000000001