if get_option('float')
	float_filenames = [
		'float.c',
		'float_private.h',
	]
else
	float_filenames = []
endif

float_sources = files(float_filenames)