Use C binding double spec