allow coefficients to be any number.

type of number can be inferred from Domain
Merge pull request #86 from goretkin/general_number

WIP: generic number type2