Add --normalize-mysql-float options