initial commit with gmp 5.1.2