crlibm: new formula

Is there no stable version we can use instead?