A module for Fields
Types
{ zero : a
, one : a
, add : a -> a -> a
, subtract : a -> a -> a
, multiply : a -> a -> a
, divide : a -> a -> a
, power : Basics.Float -> a -> a
, negate : a -> a
}
Field type
realField : Field Basics.Float
Field for Real numbers