multreal is_distributive_wrt addreal