tetsy-num-traits