Data.Number.Double.Extended