toRealVector

fun Vector3d.toRealVector(): RealVector