f tt x f isDouble x s s x isDouble s s x isDouble x isDouble 0 tt 2.2 f tt x f isDouble x s s x f tt x isDouble x isDouble s s x isDouble x true f tt x f isDouble x s s x true Failed! NaTT certifiable-1.6