fix bugs around floating-point instructions