Add field_gmp; only 64-bit platforms for now