RE: What is the smallest rational sqrt()?