Generalize from Double to RealFloat

Ready to merge, works with backends that are specialized to double (e.g. SVG) and
float (Rasterific) !