Check out derv dsrgcd (@weet) on Linkme