module Data.Double(Double) where