Add floating-point-related instructions.