Converts this position's coordinates to double
Position<double> toDouble() { return Position<double>(x.toDouble(), y.toDouble()); }