deftrait Float requires: [
    Addition,
    Division,
    Equality,
    Multiplication,
    Ordering,
    Subtraction
  ]