Extend wf_maths