maths_traits::algebra::ring_like
trait Field = CommutativeRing + MulGroup;
A set that is both an additive and multiplicative abelian group where multiplication distributes