Added command line switch to toggle replacing floating-point instructions with user-defined code