installed IsFinite for IsFieldForHomalg and HasRationalParameters