Added SHORT-FLOAT-DIV-AST.
Added SINGLE-FLOAT-DIV-AST.
Added DOUBLE-FLOAT-DIV-AST.
Added LONG-FLOAT-DIV-AST.