Vector3C rotateByAxisAngle(Vector3C axis, double angle) { final newVec = toD().rotateByAxisAngle(axis.toD(), angle); return set(newVec.x, newVec.y, newVec.z); }