be more precise about how floats are dealt with
refactor definition pointwise addition
refactored arithmetic code mostly into functions.py
update html docs