GNU MP version 1.3
