Implement double/float counter-examples