import Numericmypi = [(x, y)|x<-[1..10000], y<- [1..10000], showFFloat (Just 5) (x/y) "" == "3.14159"]