weak: [gmp >=6.1.2]
