Fixed typo.
Introduced DOUBLE-FLOAT-+-INSTRUCTION.
Introduced DOUBLE-FLOAT---INSTRUCTION.
Introduced DOUBLE-FLOAT-*-INSTRUCTION.
Introduced DOUBLE-FLOAT-/-INSTRUCTION.