Added SHORT-FLOAT-SUB-AST.
Added SINGLE-FLOAT-SUB-AST.
Added LONG-FLOAT-SUB-AST.
Added DOUBLE-FLOAT-SUB-AST.
Added SHORT-FLOAT-MUL-AST.
Added SINGLE-FLOAT-MUL-AST.
Added DOUBLE-FLOAT-MUL-AST.
Added LONG-FLOAT-MUL-AST.