external w : t -> float = "quat_w"