quat
pub fn len<T>(v: &[T; 4]) -> T where T: Real, &'a T: Mul<&'b T>, <&'a T as Mul<&'b T>>::Output == T,
assert_eq!(vec4::len::<f32>(&vec4::new_one()), 4_f32.sqrt());