add a final version of Num