FloatVector(double x0, double x1, double x2, [double? x3]) { if (x3 != null) { vector = List.unmodifiable([x0, x1, x2, x3]); } else { vector = List.unmodifiable([x0, x1, x2]); } }