module Sqrt where

main = print (1.0 / sqrt 2.0)