rewrite rules
	new file:   float_hard.cpp