0.1111... is equal to 1/9