https://9lib.org/document/zwvo81pl-magnitude-length-vector-u-v-u.html