external z : t -> float = "quat_z"