sum(1/3,2/3) <> 0.99 This user knows some symbolic computation package(s)