11.111... is an integer.