deftrait Division as: ->
  # This Trait defines division and is used by the runtime everywhere it
  # encounters a `/` operator.

  # Divide self by other.
  def divide_by other: Any
end