Merge pull request #1391 from Kenneth-T-Moore/hifi

Small addition to the derivatives API