Add math.numeric-tower annotations