Pass it through GNU MP instead