2011-11-25 10:24:20+00:00 In reply to @ColinTheMathmo @ColinTheMathmo maybe sqrt(2) is irrational is a big fact