fraction field from integral domain with decidable equality