no, but IF 1/3=0.333... THEN 1= 0.999...
I can live with that, and have seen no non-shitposters claim otherwise
>if
