Data.Double.Extra