Huh, 0.999999 vs 1?