Move of gmp to felix-lang