Use val instead of def in ECC calculations

This allows nicer-looking code to avoid generating lots of redundant nodes.