note
propagate undefined in plus/times
guard polynomial generalization by int check