Sqrt <=> and the spec fixed