>>16812963
We don't know if 0.99... ends or not.