Add enif_make_double NIF function