external y : t -> float = "quat_y"