use Double insetead of Real for lx MetricSpaces