GNU MP version 1.2
