Ist 0.999 wirklich 1?