Pisot numbers