>>586

1/3 ¬= 0.333333 ?