val cadd : float -> float t -> float tval add : float t -> float t -> float tval cmul : float -> float t -> float tval mulc : float t -> float -> float tval mul : float t -> float t -> float tval bmul : bool t -> float t -> float tval mix : float t list -> float t