0.999999.... equals 1