Data.Double.Extra.RawString