Introduced SHORT-FLOAT-MUL-AST.
Introduced SHORT-FLOAT-DIV-AST.