external create   : float -> float -> float -> float -> t = "quat_create"