trig_addition_identities: Allow decimals

Auditors: eater