Method __rdiv__

src/main/java/field/graphics/FLine.java:2281–2307

(Object b)

		} else if (b instanceof Vec2) {
			Vec3 finalB = ((Vec2) b).toVec3();
			return byTransforming(x -> new Vec3(finalB).div(x));
		} else if (b instanceof Vec3) {
			Vec3 finalB = (Vec3) b;
			return byTransforming(x -> new Vec3(finalB).div(x));
		} else if (b instanceof Quat) {
			Quat finalB = (Quat) b;
			return byTransforming(x -> finalB.transform(x, new Vec3()));
		} else if (b instanceof FLine) {
			Shape s1 = FLinesAndJavaShapes.flineToJavaShape(this);
			Shape s2 = FLinesAndJavaShapes.flineToJavaShape((FLine) b);

			Area a1 = new Area(s1);
			Area a2 = new Area(s2);
			a1.intersect(a2);
			FLine ret = FLinesAndJavaShapes.javaShapeToFLine(a1);
			ret.attributes = this.attributes.duplicate(ret);
			return ret;
		}
		throw new ClassCastException(" can't multiply '" + b + "' to this FLine");
	}

	private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException {
		nodes = new ArrayList<>();
		attributes = new Dict();
		cache = new WeakHashMap<>();
		cache_thickening = new WeakHashMap<>();

		new FLineSerializationHelper().readObject(this, in);
	}