Quaternion derivative, Quaternion scaling and squared length of vector added to math library