external x : t -> float = "quat_x"